新書推薦:
《
大家小书 译馆 骑士:历史与文化
》
售價:HK$
56.4
《
没有一种人生是完美的:百岁老人季羡林的人生智慧(读完季羡林,我再也不内耗了)
》
售價:HK$
56.9
《
日耳曼通识译丛:复原力:心理抗逆力
》
售價:HK$
34.3
《
海外中国研究·未竟之业:近代中国的言行表率
》
售價:HK$
135.7
《
我们为何建造(城市与生态文明丛书)
》
售價:HK$
89.7
《
算法经济 : 商业逻辑与人类生活的智能演进(生动呈现AI与算法的创新应用与商业价值)
》
售價:HK$
79.4
《
家书中的百年史
》
售價:HK$
79.4
《
偏爱月亮
》
售價:HK$
45.8
|
編輯推薦: |
本书享有“虎书”的称号,与有“龙书”之称的《编译原理》齐名,在先进性、新颖性上有很好的优势。 本书是经典编译原理教材,国际上众多名校均采用本书作为编译原理课程的教材,包括美国麻省理工学院、加州大学伯克利分校、普林斯顿大学和英国剑桥大学等。 《现代编译原理:C语言描述(修订版)》按照编译器处理过程的各个阶段依次组织,并精心设计了一个“学生项目编译器”的框架和模块接口。每一章结尾均给出习题,使得学生在掌握了编译原理和方法的同时,能够理论联系实际地亲自动手体验具体的实现过程。 《现代编译原理:C语言描述(修订版)》还增加了一些其他编译原理教科书没有涉及的内容。前端增加了面向对象的程序设计语言、函数式程序设计语言等现代语言的编译实现方法,后端增加了针对现代计算机体系结构特征的一些比较成熟的优化方法。这展现了现代商业编译器需解决的一些关键问题,开拓了学生的视野,为未来更深入的研究奠定基础。
|
內容簡介: |
本书全面讲述了现代编译器的各个组成部分,包括词法分析、语法分析、抽象语法、语义检查、中间代码表示、指令选择、数据流分析、寄存器分配以及运行时系统等。全书分成两部分,* 一部分是编译的基础知识,适用于* 一门编译原理课程(一个学期);* 二部分是高 级主题,包括面向对象语言和函数语言、垃圾收集、循环优化、存储结构优化等,适合于后续课程或研究生教学。书中专门为学生提供了一个用C语言编写的实习项目,包括前端和后端设计,学生可以在一学期内创建功能完整的编译器。
|
關於作者: |
Andrew W. Appel 美国普林斯顿大学计算机科学系教授,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.2CISC机器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-Tiger220
推荐阅读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
|
|