程序设计语言：设计与实现 第三版

第一部分 概念
第1章 程序语言的学习
1.1 为什么要学习程序设计语言
1.2 程序语言简史
1.2.1 早期语言的发展历史
1.2.2 程序语言的地位
1.3 程序设计语言的要素
1.3.1 良好语言的特征
1.3.2 应用领域
1.3.3 语言标准
1.4 环境对语言的影响
l.4.1 批处理环境
1.4.2 交互式环境
1.4.3 嵌入式系统环境
1.4.4 编程环境
1.4.5 环境框架
1.5 参考资料
1.6 习题
第2章 语言的设计
2.1 计算机的结构和操作
2.1.1 计算机硬件结构
2.1.2 固件计算机
2.1.3 翻译器和软件模拟计算机
2.2 虚拟计算机和约束时间
2.2.1 语法和语义
2.2.2 虚拟计算机和语言实现
2.2.3 计算机的层次
2.2.4 约束和约束时间
2.3 语言范例
2.4 参考资料
2.5 习题
第3章 语言的翻译
3.1 编程语言的文法
3.1.1 通用的语法标准
3.1.2 语言的语法要素
3.1.3 主程序—子程序结构
3.2 翻译的步骤
3.2.1 源程序的分析
3.2.2 目标程序的综合
3.3 形式编译模式
3.3.1 BNF文法
3.3.2 有限状态自动机
3.3.3 下推自动机
3.3.4 有效的语法分析算法
3.3.5 语义模型
3.4 参考资料
3.5 习题
第4章 数据类型
4.1 类型和对象的性质
4.1.1 数据对象、变量和常量
4.1.2 数据类型
4.1.3 基本数据类型的表示
4.1.4 基本数据类型的实现
4.1.5 说明
4.1.6 类型检查和类型转换
4.1.7 赋值和初始化
4.2 基本数据类型
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.3.4 数据结构的说明和类型检查
4.3.5 向量和数组
4.3.6 记录
4.3.7 表
4.3.8 字符串
4.3.9 指针及程序员构造的数据对象
4.3.10 集合
4.3.11 可执行的数据对象
4.3.12 文件及其输入／输出
4.4 参考资料
4.5 习题
第5章 抽象Ⅰ：封装
5.1 抽象的数据类型
5.1.1 数据类型的概念和发展
5.1.2 信息隐藏
5.2 子程序实现的封装
5.2.1 作为抽象操作的子程序
5.2.2 子程序的定义和调用
5.2.3 作为数据对象的子程序定义
5.3 类型定义
5.3.1 类型相同
5.3.2 带有参数的类型定义
5.4 存储管理
5.4.1 运行时需要存储的主要元素
5.4.2 程序员和系统控制的存储管理
5.4.3 静态的存储管理
5.4.4 基于堆栈的存储管理
5.4.5 堆存储管理：固定大小单元
5.4.6 堆存储管理：可变长的单元
5.5 参考资料
5.6 习题
第6章 顺序控制
6.1 隐含的顺序控制和明确的顺序控制
6.2 数学表达式的定序
6.2.1 树结构表示法
6.2.2 执行时表示法
6.3 非数学表达式的定序
6.3.1 模式配对
6.3.2 合一
6.3.3 回溯
6.4 语句之间的顺序控制
6.4.1 基本语句
6.4.2 结构化的顺序控制
6.4.3 基本程序
6.5 参考资料
6.6 习题
第7章 子程序控制
7.1 子程序顺序控制
7.1.1 简单的Call－Return子程序
7.1.2 递归于程序
7.2 数据控制的属性
7.2.1 命名和引用环境
7.2.2 静态和动态作用域
7.2.3 块结构
7.2.4 局部数据和局部引用环境
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 派生类
8.2.2 方法
8.2.3 抽象类
8.2.4 对象和消息
8.2.5 有关抽象的概念
8.3 多态性
8.4 参考资料
8.5 习题
第9章 语言设计进展
9.1 子程序控制的变体
9.1.1 异常和异常处理程序
9.1.2 协同程序
9.1.3 子程序调度
9.1.4 非顺序执行
9.2 并行程序设计
9.2.1 并发运行
9.2.2 卫式语句
9.2.3 任务
9.2.4 任务的同步
9.3 语言的形式性质
9.3.1 Chomsky层次文法
9.3.2 不可判定性
9.3.3 算法复杂性
9.4 语言的语义
9.4.1 指称语义
9.4.2 程序验证
9.4.3 代数数据类型
9.4.4 消解
9.5 硬件
9.5.1 处理器设计
9.5.2 系统设计
9.6 软件的体系结构
9.6.1 持久性数据和事务系统
9.6.2 网终和客户机/服务器计算
9.6.3 桌面排版
9.6.4 程序设计语言的发展趋势
9.7 参考资料
9.8 习题
第二部分 范例和语言
第10章 简单过程式程序设计语言
10.1 FORTRAN
10.1.1 发展历史
10.1.2 程序举例
10.1.3 语言概述
10.1.4 数据对象
10.1.5 顺序控制
10.1.6 子程序和存储管理
10.1.7 抽象与封装
10.1.8 对该语言的评价
10.2 C
10.2.1 发展历史
10.2.2 程序举例
10.2.3 语言概述
10.2.4 数据对象
10.2.5 顺序控制
10.2.6 子程序和存储管理
10.2.7 抽象与封装
10.2.8 对该语言的评价
10.3 参考资料
10.4 习题
第11章 块结构过程式程序设计语言
11.1 PASCAL
11.1.1 发展历史
11.1.2 程序举例
11.1.3 语言概述
11.1.4 数据对象
11.1.5 顺序控制
11.1.6 子程序和存储管理
11.1.7 抽象与封装
11.1.8 对该语言的评价
11.2 参考资料
11.3 习题
第12章 基于对象的语言
12.1 ADA
12.1.1 发展历史
12.1.2 程序举例
12.1.3 语言概述
12.1.4 数据对象
12.1.5 顺序控制
12.1.6 子程序和存储管理
12.1.7 抽象与封装
12.1.8 对该语言的评价
12.2 C++
12.2.1 发展历史
12.2.2 程序举例
12.2.3 语言概述
12.2.4 数据对象
12.2.5 顺序控制
12.2.6 子程序和存储管理
12.2.7 抽象与封装
12.2.8 对该语言的评价
12.3 Smalltalk
12.3.1 发展历史
12 3.2 程序举例
12.3.3 语言概述
12.3.4 数据对象
12.3.5 顺序控制
12.3.6 子程序和存储管理
12.3.7 抽象与封装
12.3.8 对该语言的评价
12.4 参考资料
12.5 习题
第13章 函数式程序设计语言
13.1 LISP
13.1.1 发展历史
13.1.2 程序举例
13.1.3 语言概述
13.1.4 数据对象
13.1.5 顺序控制
13.1.6 子程序和存储管理
13.1.7 抽象与封装
13.1.8 对该语言的评价
13.2 ML
13.2.1 发展历史
13.2.2 程序举例
13.2.3 语言概述
13.2.4 数据对象
13.2.5 顺序控制
13.2.6 子程序和存储管理
13.2.7 抽象与封装
13.2.8 对该语言的评价
13.3 参考资料
13.4 习题
第14章 逻辑式程序设计语言
14.1 Prolog
14.1.1 发展历史
14.1.2 程序举例
14.1.3 语言概述
14.1.4 数据类型
l4.1.5 顺序控制
14.1.6 子程序和存储管理
14.1.7 抽象与封装
14.1.8 对该语言的评价
14.2 参考资料
14.3 习题
参考文献