简介
本书介绍编译理论的基础及实现方法,强调语言的形式化定义、编译技术和各种概念及实现过程的具体方法。全书共9章,内容包括编译引论、形式语言和有限自动机理论、词法分析、语法分析、语法制导翻译与中间代码生成、运行时的存储组织与分配、符号表、代码优化、目标代码生成。介绍过程以算法为核心,力求简单明了地反映编译的基础知识,为计算机软件工作者开发大型软件打下良好的基础。本书可作为高等工科院校计算机专业的本科或专科教材,也可作为硕士研究生及计算机软件技术人员的参考书。
编辑推荐
本书可作为高等工科院校计算机专业的本科或专科教材,也可作为硕士研究生学习及计算机软件技术人员的参考书。 全书共分为九章,第1章绪论,介绍了编译程序有关概念,编译过程、编译程序的组织和结构等要点。第2章作为后续各章的理论基础,主要介绍了描述语言的两大工具文法和有限自动机。第3章以正规式作为单词识别工具,从手工和自动两个角度讨论了词法分析器的设计及实现。第4章对上下文无关文法的两类语法分析方法,即自上而下和自下而上的几种经典方法展开了讨论。如递归子程序法、LL(1)分析法、算法优先分析和LR分析进行了详细的讲解。第5章介绍了语义分析,涉及到语法制导翻译与中间代码生成。重点讲解了属性文法、翻译模式、中间代码表现形式和流行的高级程序设计语言中典型语句的翻译。第6章介绍了编译程序运行时环境的有关概念和存储组织与分配技术。第7章介绍了整个编译过程都要涉及到的数据结构-符号表。第8章介绍了代码优化,展开讨论了优化的基本概念,优化涉及到的数据流分析技术和控制流分析技术。第9章简单介绍了代码生成的有关知识点。并在附录中给出了基于前端的编译程序算法的程序文本。
更多出版物信息
- 版权: 清华大学出版社
- 出版: 2016-09-01
- 更新: 2023-06-07
- 书号:9787302435532
- 中图:TP314-43
- 学科:工学控制科学与工程工学计算机科学与技术