编译器构造

图书标准信息

• 作者 Charles N. Fischer；Ron K. Cytron；Richard J. LeBlanc Jr.
• 出版社 清华大学出版社
• 出版时间 2012-05
• 版次 1
• ISBN 9787302281047
• 定价 59.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 原版书名 Crafting a Compiler

【内容简介】

　　《世界著名计算机教材精选：编译器构造》是一本面向计算机系本科生的编译器教材。作者在三所美国大学拥有长达25年的编译器教学经验，在本书中对编译器构造的基本知识与关键技术进行了全新的讲解。本书的主要内容包括：编译器历史和概述、词法分析（扫描）、语法分析（包括自顶向下和自底向上的分析）、语法制导翻译、符号表和声明处理、语义分析、中间表示形式、虚拟机上的代码生成、运行时支持、目标代码生成和程序优化等。

  本书提供了详尽清晰的算法，主推在实践中学习编译器构造的相关技术，同时提供了配合教材使用的教学网站、参考资料以及源码下载。本书不仅可以作为计算机专业本科生或研究生的参考教材，同时也适合相关领域的软件工程师、系统分析师等作为参考资料。

【目录】

第1章 概述

1.1 编译的历史

1.2 编译器可以做什么

1.2.1 编译器生成的机器代码

1.2.2 目标代码格式

1.3 解释器

1.4 语法和语义

1.4.1 静态语义

1.4.2 运行时语义

1.5 编译器的组织结构

1.5.1 扫描器

1.5.2 分析器

1.5.3 类型检查器（语义分析）

1.5.4 翻译器（程序综合）

1.5.5 符号表

1.5.6 优化器

1.5.7 代码生成器

1.5.8 编译器开发工具

1.6 程序设计语言和编译器设计

1.7 计算机体系结构和编译器设计

1.8 编译器设计的考虑事项

1.8.1 调试（开发）编译器

1.8.2 优化编译器

1.8.3 可重定向编译器

1.9 集成开发环境

练习

第2章 一个简单的编译器

2.1 ac语言的非形式化定义

2.2 ac语言的形式化定义

2.2.1 语法规范

2.2.2 词法单元规范

2.3 一个简单编译器中的阶段

2.4 扫描

2.5 分析

2.5.1 分析过程的预测

2.5.2 产生式的实现

2.6 抽象语法树

2.7 语义分析

2.7.1 符号表

2.7.2 类型检查

2.8 代码生成

练习

第3章 扫描——理论和实践

3.1 扫描器概述

3.2 正则表达式

3.3 示例

3.4 有限自动机和扫描器

3.4.1 确定性的有限自动机

3.5 扫描器生成工具Lex

3.5.1 定义Lex中的词法单元

3.5.2 字符类

3.5.3 使用正则表达式来定义词法单元

3.5.4 使用Lex进行字符处理

3.6 其他扫描器生成工具

3.7 构造扫描器的实际注意事项

3.7.1 处理标识符和字面常量

3.7.2 使用编译命令和列出源码行

3.7.3 扫描器的终止

3.7.4 向前看多个字符

3.7.5 性能上的考虑

3.7.6 词法错误恢复

3.8 正则表达式和有限自动机

3.8.1 把正则表达式转换为NFA

3.8.2 创建DFA

3.8.3 有限状态机的化简

3.8.4 把有限自动机转换为正则表达式

3.9 本章小结

练习

第4章 文法和分析

4.1 上下文无关文法

4.1.1 最左推导