本书讲述将程序设计语言转换成可执行代码时使用的技术、数据结构和算法。现代编译器常常有多个阶段组成，每一阶段处理不同的抽象“语言”。本书的章节按照编译器的结构来组织，每一章循序渐进地论及编译器的一个阶段。

第一章绪论

第二章司法分析

第三章语法分析

第四章抽象语法

第五章语义分析

第六章活动记录

第七章翻译成中间代码

第八章基本块和轨迹

第九章指令选择

第十章活跃分析

第十一章寄存器分配

第十二章整合为一体

第十三章垃圾收集

第十四章面向对象的语言

第十五章函数式程序设计语言

第十六章多态类型

第十七章数据流分析

第十八章循环优化

第十九章静态单赋值形式

第二十章流水和调度

第二十一章存储层次