具体描述
本书全面讲述了现代编译器的各个组成部分，包括词法分析、语法分析、抽象语法、语义检查、中间代码表示、指令选择、数据流分析、寄存器分配以及运行时系统等。全书分成两部分，第一部分是编译的基础知识，适用于第一门编译原理课程（一个学期）；第二部分是高级主题，包括面向对象语言和函数语言、垃圾收集、循环优化、存储结构优化等，适合于后续课程或研究生教学。
作者简介
Andrew W. Appel
美国普林斯顿大学计算机科学系教授，第26届ACM SIGPLAN-SIGACT程序设计原理年会大会执行主席，1998~1999年在贝尔实验室做研究工作。主要研究方向是计算机安全、编译器设计、程序设计语言等。
Maia Ginsburg
美国普林斯顿大学计算机科学系讲师。
目录信息
第1章 绪论 1
1.1 模块与接口 1
1.2 工具和软件 3
1.3 树语言的数据结构 3
程序设计：直线式程序解释器 7
推荐阅读 8
习题 9
第2章 词法分析 10
2.1 词法单词 10
2.2 正则表达式 11
2.3 有限自动机 13
2.4 非确定有限自动机 15
2.5 Lex：词法分析器的生成器 20
程序设计：词法分析 22
推荐阅读 23
习题 23
第3章 语法分析 27
3.1 上下文无关文法 28
3.2 预测分析 32
3.3 LR分析 39
3.4 使用分析器的生成器 48
3.5 错误恢复 54
程序设计：语法分析 57
推荐阅读 58
习题 58
第4章 抽象语法 62
4.1 语义动作 62
4.2 抽象语法分析树 65
程序设计：抽象语法 71
推荐阅读 71
习题 72
第5章 语义分析 73
5.1 符号表 73
5.2 Tiger编译器的绑定 79
5.3 表达式的类型检查 82
5.4 声明的类型检查 84
程序设计：类型检查 86
习题 87
第6章 活动记录 89
6.1 栈帧 90
6.2 Tiger编译器的栈帧 96
程序设计：栈帧 102
推荐阅读 103
习题 103
第7章 翻译成中间代码 106
7.1 中间表示树 106
7.2 翻译为树中间语言 108
7.3 声明 120
程序设计：翻译成树 122
习题 123
第8章 基本块和轨迹 125
8.1 规范树 126
8.2 处理条件分支 131
推荐阅读 134
习题 134
第9章 指令选择 136
9.1 指令选择算法 138
9.2 CISC机器 144
9.3 Tiger编译器的指令选择 146
程序设计：指令选择 152
推荐阅读 153
习题 154
第10章 活跃分析 155
10.1 数据流方程的解 156
10.2 Tiger编译器的活跃分析 162
程序设计：构造流图 164
程序设计：活跃分析模块 165
习题 165
第11章 寄存器分配 166
11.1 通过简化进行着色 166
11.2 合并 168
11.3 预着色的结点 171
11.4 图着色的实现 175
11.5 针对树的寄存器分配 181
程序设计：图着色 184
推荐阅读 185
习题 185
第12章 整合为一体 188
程序设计：过程入口/出口 189
程序设计：创建一个可运行的编译器 191
第二部分 高级主题
第13章 垃圾收集 193
13.1 标记-清扫式收集 194
13.2 引用计数 197
13.3 复制式收集 198
13.4 分代收集 201
13.5 增量式收集 203
13.6 Baker算法 205
13.7 编译器接口 205
程序设计：描述字 208
程序设计：垃圾收集 208
推荐阅读 208
习题 210
第14章 面向对象的语言 211
14.1 类 211
14.2 数据域的单继承性 213
14.3 多继承 214
14.4 测试类成员关系 216
14.5 私有域和私有方法 218
14.6 无类语言 219
14.7 面向对象程序的优化 219
程序设计：OBJECT-Tiger 220
推荐阅读 220
习题 221
第15章 函数式程序设计语言 222
15.1 一个简单的函数式语言 222
15.2 闭包 224
15.3 不变的变量 225
15.4 内联扩展 229
15.5 闭包变换 233
15.6 高效的尾递归 235
15.7 懒惰计算 236
推荐阅读 243
程序设计：编译函数式语言 244
习题 244
第16章 多态类型 246
16.1 参数多态性 246
16.2 类型推论 253
16.3 多态变量的表示 259
16.4 静态重载的解决方法 265
推荐阅读 266
习题 266
第17章 数据流分析 269
17.1 流分析使用的中间表示 270
17.2 各种数据流分析 271
17.3 使用数据流分析结果的几种转换 274
17.4 加快数据流分析 276
17.5 别名分析 281
推荐阅读 285
习题 285
第18章 循环优化 287
18.1 必经结点 289
18.2 循环不变量计算 292
18.3 归纳变量 293
18.4 数组边界检查 297
18.5 循环展开 300
推荐阅读 301
习题 301
第19章 静态单赋值形式 303
19.1 转化为SSA形式 305
19.2 必经结点树的高效计算 310
19.3 使用SSA的优化算法 315
19.4 数组、指针和存储器 320
19.5 控制依赖图 321
19.6 从SSA形式转变回来 323
19.7 函数式中间形式 324
推荐阅读 327
习题 328
第20章 流水和调度 331
20.1 没有资源约束时的循环调度 332
20.2 有资源约束的循环流水 336
20.3 分支预测 341
推荐阅读 343
习题 343
第21章 存储层次 346
21.1 cache的组织结构 346
21.2 cache块对齐 349
21.3 预取 350
21.4 循环交换 354
21.5 分块 355
21.6 垃圾收集和存储层次 357
推荐阅读 358
习题 358
附录 Tiger语言参考手册 360
参考文献 368
索引 376
· · · · · · (收起)
读后感
正在读，刚跟着它的实践练习做到第四章。这本书确实讲的简略，重在实践。前端部分个人觉得《编译原理与实践》讲的最通俗易懂，可以先熟悉那部分再看这本书估计就能跟着练习走了。 p.s. 书中的代码只是个示范，可能要做些改动才能运行
翻了这么多本书，这是我看过的唯一一本讲具体怎么构建一个编译器的书。同时这本书所构建的编译器就像作者说的那样，简单但是并不平庸，拥有很多挺先进的特性。也能算是一个优化编译器。 但是要跟着这本书做下来还是有一定难度的，需要扎实的C语言功底。
正在读，刚跟着它的实践练习做到第四章。这本书确实讲的简略，重在实践。前端部分个人觉得《编译原理与实践》讲的最通俗易懂，可以先熟悉那部分再看这本书估计就能跟着练习走了。 p.s. 书中的代码只是个示范，可能要做些改动才能运行
翻了这么多本书，这是我看过的唯一一本讲具体怎么构建一个编译器的书。同时这本书所构建的编译器就像作者说的那样，简单但是并不平庸，拥有很多挺先进的特性。也能算是一个优化编译器。 但是要跟着这本书做下来还是有一定难度的，需要扎实的C语言功底。
用户评价
这本书的装帧设计着实令人眼前一亮，那种沉稳中又不失现代感的配色方案，让人在拿起它的那一刻，就感觉自己即将踏入一个严谨而又充满智慧的殿堂。纸张的质感也处理得恰到好处，既不会因为过于光滑而反光刺眼，也不会因为过于粗糙而影响阅读时的触感。更值得称道的是，内页的排版布局，留白的处理非常得当，使得即使是面对那些密集的理论公式和代码示例时，眼睛也不会感到过分的疲劳。清晰的章节标题和细致的图表标注，无疑为初次接触这个复杂领域的读者提供了一个非常友好的入口。我在翻阅初期，就被这种精心打磨的视觉体验所吸引，它不仅仅是一本工具书，更像是一件值得收藏的艺术品。细节决定成败，这本书在这些看似微不足道的地方下足了功夫，体现了出版方对读者体验的深度考量。
初读这本书，我最大的感受是其知识体系的逻辑连贯性达到了一个令人惊叹的水平。作者在引导读者进入核心概念之前，总是会铺陈一个宏大且清晰的背景脉络，让你明白我们为什么要学习这些技术，以及它们在整个计算机科学领域中扮演的角色。从基础的词法分析到复杂的代码优化，每一步的过渡都处理得如同丝绸般顺滑，没有那种生硬的、让人措手不及的跳跃感。我尤其欣赏作者在解释那些抽象的算法时，所采用的类比和生活化的例子，它们有效地打破了理论的壁垒，让原本高高在上的概念变得触手可及。这种层层递进的讲解方式，极大地降低了学习的认知负荷，使得即便是需要花费大量时间去消化的深层原理，也能被有效吸收，而不是仅仅停留在表面的理解。
这本书的语言风格是那种带着知识分子特有的严谨和一丝不苟，但同时又保持着令人愉悦的清晰度。它避免了过于晦涩的学术术语堆砌，即便是引入新的专业词汇，也会紧随其后给出准确、简洁的解释。我发现自己很少需要频繁地翻阅脚注或查阅外部资料来理解句子本身的意思，这极大地提高了阅读效率。作者的文字具有一种内在的节奏感，读起来流畅而有力，仿佛一位经验丰富的导师在面对面地为你讲解难题，那种循循善诱的感觉非常棒。这使得冗长的理论推导过程也变得不那么枯燥乏味，反而成了一种享受逻辑构建的过程。
坦白说，这本书的难度是毋庸置疑的，它绝非那种可以轻松读完的“快餐读物”。然而，正是这种挑战性，才使得它拥有了极高的价值。在学习过程中，我遇到的难题，通常不是因为作者没有解释清楚，而是因为我自身的知识储备暂时无法完全跟上其论述的深度。但更重要的是，这本书提供了一套完整的思维框架，它教会了我如何去系统性地思考复杂问题的分解与重构。它不仅告诉你“是什么”，更重要的是告诉你“为什么是这样”，以及“如何才能做得更好”。对于任何想要深入探究底层原理，并致力于构建自己工具链的工程师而言，这本书无疑是一笔无法估量的财富，它提供的知识武装，是实实在在、经得起时间考验的。
这本书的内容深度和广度都超出了我的预期。我本以为它会侧重于介绍某一特定编译器的实现细节，但出乎意料的是，它提供了一个极其全面的视角，涵盖了从理论基础到前沿研究的多个维度。书中的案例选择非常具有代表性，不仅仅局限于经典的龙书中的那些范例，还融入了许多现代编程语言和运行时环境所面临的新挑战。特别是关于中间表示（IR）的设计与优化的章节，作者展现出了惊人的洞察力，对不同IR的优劣势进行了细致的剖析，这对我目前正在进行的系统优化工作提供了直接的指导价值。阅读这些内容时，我常常需要停下来，结合自己的实际项目经验去反刍这些知识，这种深入的互动性阅读体验，是很多教科书所不具备的。
翻译是败笔 "它有嵌套的作用域和在堆中分配储存空间的记录，虽简单却并不平凡" 是不是应该是"它支持"呢？而且原文就用的with，真不知道怎么翻译的
《编译原理》课的教材，用 C 语言（本书另有 Java 和 SML 版本）从头实现了一个 TIGER 语言到 RISC 指令集的编译器，之后还简单讲了 GC / OOP / FP 等高级话题。
不说别的，就拿说明什么是闭包操作而言，就比那个高等教育出版社出的那本书解释的好一万倍，那本书，就情愿拿一堆晦涩难懂的句子来描述相应的集合，就是不想举一个具体的例子来说明，我气死你。哈哈(ಡωಡ)hiahiahia
翻译是败笔 "它有嵌套的作用域和在堆中分配储存空间的记录，虽简单却并不平凡" 是不是应该是"它支持"呢？而且原文就用的with，真不知道怎么翻译的
适合新手，可以边读边实现
