第一篇 模块化程序设计语言 3
第1章 Ada语言 3
1.1 引论 3
1.2 基本数据类型和表达式 5
1.3 组合数据类型 18
1.4 控制结构 26
1.5 子程序 34
1.6 程序包 39
1.7 异常 43
1.8 访问类型 45
1.9 类属单元 47
1.10 文件 51
第2章 Modula-2语言 53
2.1 引论 53
2.2 数 56
2.3 常量、变量与数据类型 58
2.4 布尔类型与字符类型 62
2.5 基本控制语句 65
2.6 枚举类型与子界类型 72
2.7 数组与记录 74
2.8 过程与函数 80
2.9 集合类型 85
2.10 动态数据结构 87
2.11 模块 89
2.12 I/O流 92
第二篇 函数式程序设计语言 99
第3章 Scheme语言 99
3.1 引论 99
3.2 数、表达式与简单程序 100
3.3 复合数据 104
3.4 函数 107
3.5 控制结构 113
3.6 输入输出 115
第4章 SML语言 117
4.1 引论 117
4.2 数据对象与运算符 119
4.3 控制表达式 125
4.4 函数 127
4.5 异常 136
第5章 Haskell语言 140
5.1 引论 140
5.2 数据类型 142
5.3 函数 148
5.4 数列 160
5.5 输入输出 164
第三篇 面向对象程序设计语言 169
第6章 Smalltalk语言 169
6.1 引论 169
6.2 对象与消息 170
6.3 控制结构 176
6.4 类与方法 186
6.5 继承性与多态性 195
第四篇 逻辑式程序设计语言 201
第7章 Prolog语言 201
7.1 引论 201
7.2 Prolog的三个基本语句 203
7.3 数据结构与递归 218
总习题 238
参考文献 241