现代编译原理C语言描述修订版【正版】 阿里云 kindle chm umd 极速 pdf txt 下载

本书全面讲述了现代编译器的各个组成部分，包括词法分析、语法分析、抽象语法、语义检查、中间代码表示、指令选择、数据流分析、寄存器分配以及运行时系统等。全书分成两部分，靠前部分是编译的基础知识，适用于靠前门编译原理课程（一个学期）；第二部分是不错主题，包括面向对象语言和函数语言、垃圾收集、循环优化、存储结构优化等，适合于后续课程或研究生教学。书中专门为学生提供了一个用C语言编写的实习项目，包括前端和后端设计，学生可以在一学期内创建功能完整的编译器。

部分编译基本原理

章绪论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.5Lex：词法分析器的生成器20

程序设计：词法分析22

推荐阅读23

习题23

第3章语法分析27

3.1上下文无关文法28

3.2预测分析32

3.3LR分析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.2Tiger编译器的绑定79

5.3表达式的类型检查82

5.4声明的类型检查84

程序设计：类型检查86

习题87

第6章活动记录89

6.1栈帧90

6.2Tiger编译器的栈帧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.3Tiger编译器的指令选择146

程序设计：指令选择152

推荐阅读153

习题154

0章活跃分析155

10.1数据流方程的解156

10.2Tiger编译器的活跃分析162

程序设计：构造流图164

程序设计：活跃分析模块165

习题165

1章寄存器分配166

11.1通过简化进行着色166

11.2合并168

11.3预着色的结点171

11.4图着色的实现175

11.5针对树的寄存器分配181

程序设计：图着色184

推荐阅读185

习题185

2章整合为一体188

程序设计：过程入口/出口189

程序设计：创建一个可运行的编译器191

第二部分高级主题

3章垃圾收集193

13.1标记-清扫式收集194

13.2引用计数197

13.3复制式收集198

13.4分代收集201

13.5增量式收集203

13.6Baker算法205

13.7编译器接口205

程序设计：描述字208

程序设计：垃圾收集208

推荐阅读208

习题210

4章面向对象的语言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

5章函数式程序设计语言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

6章多态类型246

16.1参数多态性246

16.2类型推论253

16.3多态变量的表示259

16.4静态重载的解决方法265

推荐阅读266

习题266

7章数据流分析269

17.1流分析使用的中间表示270

17.2各种数据流分析271

17.3使用数据流分析结果的几种转换274

17.4加快数据流分析276

17.5别名分析281

推荐阅读285

习题285

8章循环优化287

18.1必经结点289

18.2循环不变量计算292

18.3归纳变量293

18.4数组边界检查297

18.5循环展开300

推荐阅读301

习题301

9章静态单赋值形式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.1cache的组织结构346

21.2cache块对齐349

21.3预取350

21.4循环交换354

21.5分块355

21.6垃圾收集和存储层次357

推荐阅读358

习题358

附录Tiger语言参考手册360

参考文献368

索引376

Andrew W. Appel，美国普林斯顿大学计算机科学系教授，1998~1999年在贝尔实验室做研究工作。主要研究方向是计算机安全、编译器设计、程序设计语言等。

Maia Ginurg，美国普林斯顿大学计算机科学系讲师。

暂无出版社相关信息，正在全力查找中！

暂无相关书籍摘录，正在全力查找中！

在线阅读地址：现代编译原理C语言描述修订版【正版】在线阅读

在线听书地址：现代编译原理C语言描述修订版【正版】在线收听

在线购买地址：现代编译原理C语言描述修订版【正版】在线购买

Two of the most useful abstractions used in modern compilers are context-free grammars, for parsing, and regular expressions, for lexical analysis. To make best use of these abstractions it is helpful to have special tools, such as Yacc (which converts a grammar into a parsing program)and Lex(which converts a declarative specification into a lexical analysis program).

编辑推荐

本书享有“虎书”的称号，与有“龙书”之称的《编译原理》齐名，在先进性、新颖性上有很好的优势。

本书是经典编译原理教材，国际上众多名校均采用本书作为编译原理课程的教材，包括美国麻省理工学院、加州大学伯克利分校、普林斯顿大学和英国大学等。

《现代编译原理：C语言描述（修订版）》按照编译器处理过程的各个阶段依次组织，并精心设计了一个“学生项目编译器”的框架和模块接口。每一章结尾均给出习题，使得学生在掌握了编译原理和方法的同时，能够理论联系实际地亲自动手体验具体的实现过程。

《现代编译原理：C语言描述（修订版）》还增加了一些其他编译原理教科书没有涉及的内容。前端增加了面向对象的程序设计语言、函数式程序设计语言等现代语言的编译实现方法，后端增加了针对现代计算机体系结构特征的一些比较成熟的优化方法。这展现了现代商业编译器需解决的一些关键问题，开拓了学生的视野，为未来更深入的研究奠定基础。

书籍介绍

本书全面讲述了现代编译器的各个组成部分，包括词法分析、语法分析、抽象语法、语义检查、中间代码表示、指令选择、数据流分析、寄存器分配以及运行时系统等。全书分成两部分，第一部分是编译的基础知识，适用于第一门编译原理课程（一个学期）；第二部分是高级主题，包括面向对象语言和函数语言、垃圾收集、循环优化、存储结构优化等，适合于后续课程或研究生教学。