本书为“普通高等教育‘十一五’**级规划教材”,是一本计算机专业的宽口径教材,新版覆盖CC2001和CCC2002教程中,除自动机外编程语言(PL)模块的全部知识点。内容涉及语言及其编译系统的设计要素、设计思想、设计方法、设计技术和设计风格等知识,全书分为上、下篇。上篇,程序设计语言的设计包括:绪论、数据类型、控制结构、程序语言设计、非过程式程序设计语言和形式语义学简介;下篇,程序设计语言的实现(编译)包括:编译概述、词法分析、自上而下的语法分析、自下而上的语法分析、语义分析和中间代码生成、代码优化和目标代码生成、运行时存储空间的组织。
本书的学习目标是,使读者掌握设计和实现一个程序设计语言的基本思想和方法,具有分析、鉴赏、评价、选择、学习、设计和实现一个语言的基本能力。本书力求简明、通俗,注重可读性,是大学计算机科学和软件工程等专业**程序设计语言概论及编译技术课程教材,也是软件开发人员的学习参考书。

上篇 程序设计语言的设计
第1章 绪论
1.1 引言
1.2 强制式语言
1.2.1 程序设计语言的分类
1.2.2 冯·诺依曼体系结构
1.2.3 绑定和绑定时间
1.2.4 变量
1.2.5 虚拟机
1.3 程序单元
1.4 程序设计语言发展简介
1.4.1 早期的**语言
1.4.2 早期语言的发展阶段
1.4.3 概念的集成阶段
1.4.4 再一次突破
1.4.5 大量的探索
1.4.6 Ada语言
1.4.7 第四代语言
1.4.8 网络时代的语言
1.4.9 新一代程序设计语言
1.4.10 面向未来的汉语程序设计语言
1.4.11 总结
习题1
第2章 数据类型
2.1 引言
2.2 内部类型
2.3 用户定义类型
2.3.1 笛卡儿积
2.3.2 有限映像
2.3.3 序列
2.3.4 递归
2.3.5 判定或
2.3.6 幂集
2.4 Pascal语言数据类型结构
2.4.1 非结构类型
2.4.2 聚合构造
2.4.3 指针
2.5 Ada语言数据类型结构
2.5.1 标量类型
2.5.2 组合类型
2.6 C语言数据类型结构
2.6.1 非结构类型
2.6.2 聚合构造
2.6.3 指针
2.6.4 空类型
2.7 Java语言的数据类型
2.7.1 内部类型
2.7.2 用户定义类型
2.8 抽象数据类型
2.8.1 SIMuLA 67语言的类机制
2.8.2 CLU语言的抽象数据类型
2.8.3 Ada语言的抽象数据类型
2.8.4 Modula 2语言的抽象数据类型
2.8.5 c++语言的抽象数据类型
2.8.6 Java抽象数据类型
2.9 类型检查
2.10 类型转换
2.11 类型等价
2.12 实现模型
2.12.1 内部类型和用户定义的非结构类型实现模型
2.12.2 结构类型实现模型
习题2
第3章 控制结构
3.1 引言
3.2 语句级控制结构
3.2.1 顺序结构
3.2.2 选择结构
3.2.3 循环结构
3.2.4 语句级控制结构分析
3.2.5 用户定义控制结构
3.3 单元级控制结构
3.3.1 显式调用从属单元
3.3.2 隐式调用单元——异常处理
3.3.3 SIMULA 67语言协同程序
3.3.4 并发单元
……
第4章 程序语言的设计
第5章 非过程式程序设计语言
第6章 形式语义学简介
下篇 程序设计语言的实现(编译)
第7章 编译概述
第8章 词法分析
第9章 自上而下的语法分析
第10章 自下而上的语法分析
第11章 语义分析和中国代码生成
第12章 代码优化和目标代码生成
第13章 运行时存储空间的组织
附录A 形式语言与自动机简介

本套教材在**规划教材的基础上,进行全面更新,以适应高校课程与教学改革的需要,并特别注意教材的可读性和可用性,为任课教师提供各种教学服务(包括)数学电子课件、教学指导材料、习题解答和实验指导等。