오토마타와 컴파일러 10 - 의미 분석과 타입 검사
파서가 잡지 못하는 오류를 의미 분석이 어떻게 잡아내는지, 그리고 타입 검사가 프로그램의 안전성을 보장하는 원리
파서가 잡지 못하는 오류를 의미 분석이 어떻게 잡아내는지, 그리고 타입 검사가 프로그램의 안전성을 보장하는 원리
컴파일러가 왜 중간 표현을 거치는지, 그리고 최적화가 어떻게 프로그램을 더 빠르게 만드는지
최적화된 중간 표현이 실제 기계어로 변환되는 과정과, 오토마타 이론에서 시작하여 컴파일러 구현까지 이어지는 여정의 마무리