目 录 1
第一章 绪论 1
§1.1 引言 1
§1.2 软件开发过程 2
§3.4 变量 3
§1.3 软件开发环境与程序设计语言 3
§1.4 软件设计方法与程序设计语言 4
§1.5 计算机体系结构与程序设计语言 5
§1.6 软件开发过程与程序设计语言 6
1.6.1 程序设计语言与可靠性 6
1.6.2 程序设计语言与可维护性 7
1.6.3 程序设计语言与效率 7
§1.7 程序设计语言发展简介 8
1.7.1 早期的高级语言 8
1.7.2 早期的突破 9
1.7.3 概念的集成 9
1.7.6 Ada和第四代语言 10
1.7.4 再一次突破 10
1.7.5 大量的探索 10
1.7.7 新一代程序设计语言 11
§2.1 抽象的作用 13
第二章 程序设计语言概念抽象 13
§2.2 数据抽象 14
2.2.1 早期程序设计语言的数据抽象 14
2.2.2 自定义类型 14
2.2.3 抽象数据类型的趋向 15
§2.3 控制抽象 16
2.3.1 语句级控制结构的演变 16
2.3.2 用户级控制结构的演变 17
§2.4 程序正确性 20
习 题 22
第三章程序设计语言的结构 24
§3.1 语言的定义 24
3.1.1 语法 24
3.1.2 语义 29
§3.2 语言处理 30
3.4.1 变量的作用域 32
§3.3 约束概念 32
3.4.2 变量的生存期 33
3.4.3 变量的值 33
3.4.4 变量的类型 34
§3.5 程序单位 36
§3.6 程序设计语言运行时结构 37
3.6.1 FORTRAN的结构 37
3.6.2 类ALGOL的结构 41
3.6.3 动态语言的结构 48
§3.7 参数传递 49
3.7.1 数据参数 49
3.7.2 子程序参数 51
§3.8 语言实现和语言定义 54
习 题 56
第四章 数据类型 59
§4.1 内部类型 59
§4.2 数据聚集 60
4.2.1 笛卡尔乘积 60
4.2.3 序列 61
4.2.2 有限映象 61
4.2.4 递归 62
4.2.5 判定或 62
4.2.6 幂集 63
§4.3 用户定义类型 63
4.3.1 ALGOL68类型结构 64
4.3.2 Pascal类型结构 70
4.3.3 Ada类型结构 76
4.4.1 静态和动态类型检查 82
§4.4 类型评价 82
4.4.2 类型转换 83
4.4.3 类型兼容性 84
4.4.4 指针问题 85
§4.5 抽象数据类型 88
4.5.1 SIMULA67的类机制 88
4.5.2 现代语言的抽象数据类型 92
§4.6 实现模型 98
4.6.1 内部类型和用户定义的非结构类型 98
4.6.2 结构类型 99
4.6.3 类和抽象数据类型 102
4.6.4 垃圾回收 104
习 题 105
第五章 控制结构 107
§5.1 语句级控制结构 107
5.1.1 顺序 107
5.1.2 选择 107
5.1.3 重复 110
5.1.4 语句级控制结构的评价 112
5.1.5 用户定义控制结构 114
5.1.6重复构造实现模型 115
§5.2 单位级控制结构 116
5.2.1 显式调用从属单位 117
5.2.2 隐式调用单位 122
5.2.3 对称单位：SIMULA67协同程序 125
5.2.4 并发单位 127
习 题 136
6.2.1 一个命令式程序 138
§6.2命令式语言的性质 138
§6.1引言 138
第六章 函数式程序设计 138
6.2.2 命令式语言存在的问题 139
§6.3 函数式程序设计基础 141
6.3.1 函数 141
6.3.2 数学函数与程序设计语言函数 142
6.3.3 函数式（作用式）语言 143
§6.4 一种简单的纯函数式语言 143
6.4.1 原语函数 143
6.4.2 函数型 144
§6.5 其它语言的作用式属性 147
6.5.1 LISP 147
6.5.2 APL 152
§6.6 作用式和命令式语言的比较 155
习题 156
第七章逻辑程序设计 158
§7.1 说明与实现 158
§7.2 非过程式语言实例 160
7.2.1 数据库语言 160
7.2.3 SN OB OL4 161
7.2.2 SETL 161
§7.3 PROLOG概述 163
7.3.1 事实、规则和问题 163
7.3.2 合一与回溯 165
7.3.3 通用数据结构 168
7.3.4 PROLOG应用 170
§7.4 PROLOG与SNOBOL4 170
§7.5 逻辑程序设计展望 171
习题 171
§8.2 面向对象的基本概念 173
8.2.1 数据过程与对象消息 173
第八章面向对象程序设计 173
§8.1 引言 173
8.2.2 对象和类 174
8.2.3 面向对象程序设计的基本性质 174
8.2.4 数据结构 175
§8.3Smalltalk 176
8.3.1 对象 177
8.3.2 消息 177
8.3.3 方法 178
8.3.4 类 179
8.3.5 控制结构 179
8.3.6 类与抽象数据类型的比较 180
8.3.7 继承和子类 181
8.3.8 设计原则 183
§8.4 C++ 184
8.4.1 C和C++程序示例 184
8.4.2 数据隐蔽 185
8.4.3 数据抽象 185
8.4.4 继承与动态约束 188
§8.5 小结 190
习题 190
第九章形式语义学简介 192
§9.1 引言 192
§9.2 形式语义学分类 193
§9.3 公理语义学简述 194
§9.4指称语义学简述 198
习题 202
参考文献 203