现代编译原理c语言描述.清晰版

《现代编译原理c语言描述.清晰版》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、[GeneralInformation]书名=现代编译原理C语言描述作者=（美）ANDREWW.APPEL著赵克佳黄春沈志宇译页数=385SS号=11562909出版日期=2006年04月第1版前言目录第一部分编译基本原理第1章绪论1.1模块与接口1.2工具和软件1.3树语言的数据结构程序设计：直线式程序解释器推荐阅读习题第2章词法分析2.1词法单词2.2正则表达式2.3有限自动机2.4非确定有限自动机2.4.1将正则表达式转换为NFA2.4.2将NFA转换为DFA2.5Lex：词法分析器的生成

2、器程序设计：词法分析推荐阅读习题第3章语法分析3.1上下文无关文法3.1.1推导3.1.2语法分析树3.1.3二义性文法3.1.4文件结束符3.2预测分析3.2.1FIRST集合和FOLLOW集合3.2.2构造一个预测分析器3.2.3消除左递归3.2.4提取左因子3.2.5错误恢复3.3LR分析3.3.1LR分析引擎3.3.2LR（0）分析器生成器3.3.3SLR分析器的生成3.3.4LR（1）项和LR（1）分析表3.3.5LALR（1）分析表3.3.6各类文法的层次3.3.7二义性文法的LR分

3、析3.4使用分析器的生成器3.4.1冲突3.4.2优先级指导3.4.3语法和语义3.5错误恢复3.5.1用error符号恢复3.5.2全局错误修复程序设计：语法分析推荐阅读习题第4章抽象语法4.1语义动作4.1.1递归下降4.1.2Yacc生成的分析器4.1.3语义动作的解释器4.2抽象语法分析树4.2.1位置4.2.2Tiger的抽象语法程序设计：抽象语法推荐阅读习题第5章语义分析5.1符号表5.1.1多个符号表5.1.2高效的命令式风格符号表5.1.3高效的函数式符号表5.1.4Tiger编

4、译器的符号5.1.5函数式风格的符号表5.2Tiger编译器的绑定5.3表达式的类型检查5.4声明的类型检查5.4.1变量声明5.4.2类型声明5.4.3函数声明5.4.4递归声明程序设计：类型检查习题第6章活动记录6.1栈帧6.1.1帧指针6.1.2寄存器6.1.3参数传递6.1.4返回地址6.1.5栈帧内的变量6.1.6静态链6.2Tiger编译器的栈帧6.2.1栈帧描述的表示6.2.2局部变量6.2.3计算逃逸变量6.2.4临时变量和标号6.2.5两层抽象6.2.6管理静态链6.2.7追踪

5、层次信息程序设计：栈帧推荐阅读习题第7章翻译成中间代码7.1中间表示树7.2翻译为树中间语言7.2.1表达式的种类7.2.2简单变量7.2.3追随静态链7.2.4数组变量7.2.5结构化的左值7.2.6下标和域选择7.2.7关于安全性的劝告7.2.8算术操作7.2.9条件表达式7.2.10字符串7.2.11记录和数组的创建7.2.12while循环7.2.13for循环7.2.14函数调用7.3声明7.3.1变量定义7.3.2函数定义7.3.3片段程序设计：翻译成树习题第8章基本块和轨迹8.1规

6、范树8.1.1ESEQ的转换8.1.2一般重写规则8.1.3将CALL移到顶层8.1.4线性语句表8.2处理条件分支8.2.1基本块8.2.2轨迹8.2.3完善8.2.4最优轨迹推荐阅读习题第9章指令选择9.1指令选择算法9.1.1MaximalMunch算法9.1.2动态规划9.1.3树文法9.1.4快速匹配9.1.5覆盖算法的效率9.2CISC机器9.3Tiger编译器的指令选择9.3.1抽象的汇编语言指令9.3.2生成汇编指令9.3.3过程调用9.3.4无帧指针的情形程序设计：指令选择推荐

7、阅读习题第10章活跃分析10.1数据流方程的解10.1.1活跃性计算10.1.2集合的表示10.1.3时间复杂度10.1.4最小不动点10.1.5静态活跃性与动态活跃性10.1.6冲突图10.2Tiger编译器的活跃分析10.2.1图10.2.2控制流图10.2.3活跃分析程序设计：构造流图程序设计：活跃分析模块习题第11章寄存器分配11.1通过简化进行着色11.2合并11.3预着色的结点11.3.1机器寄存器的临时副本11.3.2调用者保护的寄存器和被调用者保护的寄存器11.3.3含预着色结点

8、的例子11.4图着色的实现11.4.1传送指令工作表的管理11.4.2数据结构11.4.3程序代码11.5针对树的寄存器分配程序设计：图着色推荐阅读习题第12章整合为一体程序设计：过程入口／出口程序设计：创建一个可运行的编译器第二部分高级主题第13章垃圾收集13.1标记－清扫式收集13.2引用计数13.3复制式收集13.4分代收集13.5增量式收集13.6Baker算法13.7编译器接口13.7.1快速分配13.7.2数据布局的描述13.7.3导出指针程序设计：描述字程序设计：垃圾收集推荐阅读习