编译原理及实践教程-(第3版)

第1章 编译概述 1.1 程序设计语言及翻译程序 1.1.1 程序设计语言的发展 1.1.2 翻译程序大家族 1.1.3 高级语言的运行方式 1.2 编译系统 1.2.1 高级语言编译流程 1.2.2 高级语言编译实例 1.3 编译过程和编译程序的结构 1.3.1 编译过程概述 1.3.2 编译程序的结构 1.3.3 编译阶段的组合 1.4 编译程序的构造方法 1.5 认识Sample语言 1.5.1 高级语言的构成成分 1.5.2 程序的结构 1.5.3 Sample语言规范 1.5.4 符合Sample语言规范的源程序举例 1.6 编译程序的发展及编译技术的应用 1.6.1 编译程序的发展 1.6.2 编译技术的应用 1.6.3 为什么要学习编译原理及其构造技术 1.7 本书结构 1.8 小结 1.9 习题 第2章 词法分析 2.1 词法分析概述 2.2 高级语言中的单词 2.2.1 单词的分类 2.2.2 单词的种别码 2.3 单词的识别 2.3.1 状态转换图 2.3.2 单词识别程序 2.3.3 超前搜索技术和双界符的识别 2.3.4 数值型常量的识别与状态转换图的合并 2.4 词法分析器的设计 2.5 正则表达式与有穷自动机 2.5.1 符号和符号串 2.5.2 集合的运算及语言的定义 2.5.3 正则表达式 2.5.4 有穷自动机 2.5.5 正则表达式与有穷自动机的等价性 2.6 词法分析器的自动生成工具 2.6.1 Lex概述 2.6.2 Lex源文件的书写 2.6.3 Lex的工作原理 2.6.4 Lex使用中的一些注意事项 2.6.5 使用Lex自动生成词法分析器 2.7 词法分析中的错误处理 2.8 小结 2.9 习题 第3章 语法分析 3.1 语法分析概述 3.2 上下文无关文法 3.2.1 文法的定义 3.2.2 推导 3.2.3 文法产生的语言 3.2.4 语法树 3.2.5 二义文法 3.2.6 消除二义性 3.2.7 Sample语言文法描述 3.3 自上而下的语法分析 3.3.1 自上而下分析方法中的问题探究 3.3.2 LL（1）文法 3.3.3 递归下降分析方法 3.3.4 预测分析方法 3.4 自下而上的语法分析 3.4.1 自下而上分析方法概述 3.4.2 算符优先分析 3.4.3 LR分析法 3.5 语法分析器的自动生成工具YACC 3.5.1 YACC概述 3.5.2 YACC源文件的格式 3.5.3 YACC的翻译规则 3.5.4 YACC的辅助程序 3.6 语法分析中的错误处理 3.6.1 语法分析中的错误处理的一般原则 3.6.2 自上而下语法分析的错误处理 3.6.3 自下而上语法分析的错误处理 3.7 小结 3.8 习题 第4章 语义分析 4.1 语义分析概述 4.2 Sample语言的语义描述 4.2.1 程序的语义 4.2.2 函数的语义 4.2.3 各种名字的声明和使用的语义 4.2.4 各种语句的语义 4.2.5 表达式的语义 4.3 符号表管理技术 4.3.1 符号表概述 4.3.2 符号表的组织方式 4.3.3 符号表的操作 4.4 静态语义检查 4.4.1 静态语义检查概述 4.4.2 声明与定义语义检查 4.4.3 表达式语义检查 4.4.4 语句语义检查 4.5 小结 4.6 习题 第5章 中间代码生成 5.1 中间代码生成概述 5.2 中间代码 5.2.1 逆波兰式 5.2.2 三地址代码 5.2.3 抽象语法树 5.2.4 有向无环图表示 5.3 属性文法和语法制导的翻译 5.3.1 属性文法 5.3.2 属性的计算 5.3.3 属性的计算顺序 5.3.4 语法制导翻译的实现方法 5.4 常见语句的语法制导的翻译 5.4.1 声明语句的语义处理 5.4.2 表达式的翻译 5.4.3 布尔表达式的翻译 5.4.4 控制语句的翻译 5.4.5 函数定义及函数调用的翻译 5.5 中间代码生成器的设计 5.6 小结 5.7 习题 第6章 运行时存储组织 6.1 存储组织 6.1.1 程序执行时存储器的划分 6.1.2 活动记录 6.1.3 局部数据布局 6.2 函数调用 6.2.1 源程序中的函数 6.2.2 函数执行时的活动 6.2.3 名字的作用域 6.2.4 参数的传递 6.2.5 名字的绑定 6.3 存储分配策略 6.3.1 静态存储分配 6.3.2 栈式存储分配 6.3.3 堆式存储分配 6.4 垃圾回收机制 6.4.1 可达性 6.4.2 引用计数回收器 6.4.3 标记-清扫回收器 6.4.4 复制回收器 6.5 C语言编译程序运行时存储实例 6.5.1 内存的划分及程序执行的总体情况 6.5.2 案例：程序运行时内存的变化 6.6 小结 6.7 习题 第7章 代码优化 7.1 代码优化概述 7.1.1 代码优化的地位 7.1.2 基本块的概念及流图 7.2 局部优化 7.2.1 删除公共子表达式 7.2.2 复写传播 7.2.3 删除无用代码 7.2.4 代数恒等变换 7.2.5 基本块的DAG表示及优化 7.3 循环优化 7.3.1 循环的定义 7.3.2 代码外提 7.3.3 强度削弱 7.3.4 删除归纳变量 7.4 小结 7.5 习题 第8章 目标代码生成 8.1 概述 8.2 目标机及指令系统简介 8.2.1 80x86体系结构 8.2.2 80x86中的寄存器 8.2.3 80x86指令系统介绍 8.3 一个简单的代码生成器 8.4 基本块的代码生成器 8.4.1 引用信息和活跃信息 8.4.2 寄存器描述和地址描述 8.4.3 基本块的代码生成 8.5 从DAG生成目标代码 8.6 代码优化及目标代码生成器的设计 8.6.1 目标代码生成器的结构 8.6.2 汇编指令的选择 8.6.3 构成完整的汇编语言程序 8.7 小结 8.8 习题 参考文献