第一章程 序设计语言的概念 1
1.1 程序设计语言 1
1.2 程序设计语言的抽象方法 4
1.3 计算的模式 11
1.4 语言的定义 17
1.5 语言的翻译 20
1.6 语言的设计 25
练习 26
第二章 语言设计的原理 30
2.1 语言的历史和设计标准 31
2.2 语言的有效性 33
2.3 语言的一般性、正交性和统一性 35
2.4 未来的语言设计原则 38
练习 42
第三章 句法 45
3.1 程序设计语言的词法结构 45
3.2 上下文无关语法和BNF 48
3.3 句法分析树和抽象句法树 52
3.4 二义性、结合性和优先性 55
3.5 EBNF和句法图 58
3.6 句法分析的技术和工具 63
3.7 语言的词法、句法和语义 74
练习 76
第四章 基本语义 80
4.1 属性、联编和语义函数 81
4.2 说明、块和范围 84
4.3 符号表 93
4.4 存储分配、扩展和环境 98
4.5 变量和常量 109
4.6 别名、挂靠引用和废物 114
4.7 表达式的求值 121
4.8 程序设计语言形式语义的简单介绍 127
练习 134
第五章 数据类型 144
5.1 数据类型和类型的信息 145
5.2 简单类型 148
5.3 类型的构造操作 149
5.4 类Pascal语言中的类型命名 160
5.5 类型等价 162
5.6 类型检查 166
5.7 类型转换 172
练习 176
第六章 控制结构 184
6.1 卫哨命令和条件选择 184
6.2 循环和WHILE的变形 191
6.3 GOTC的争论 196
6.4 过程和参数 199
6.5 过程的环境、活跃状态和存储分配 213
6.6 例外处理 227
练习 234
第七章 抽象数据类型 244
7.1 抽象数据类型的代数规格说明 246
7.2 Mo1ula-2的抽象数据类型 251
7.3 Ada的抽象数据类型 257
7.4 其他语言的抽象数据类型 261
7.5 重载和多态 264
7.6 模块和分块编译 272
7.7 抽象数据类型办法的存在问题 282
练习 288
第八章 面向对象程序设计语言 292
8.1 软件的重用性和独立性 293
8.2 对象、类和方法 296
8.3 继承 302
8.4 动态联编 310
8.5 C++ 314
8.6 Smalltalk 324
8.7 面向对象语言的设计问题 331
8.8 面向对象语言的实现问题 335
练习 340
第九章 函数程序设计 345
9.1 程序作为函数 345
9.2 过程语言的函数程序设计 349
9.3 Scheme：Lisp的一种本地语 355
9.4 延缓求值 371
9.5 函数程序设计的数学Ⅰ：递归函数 377
9.6 函数程序设计的数学Ⅱ：Lambda演算 380
9.7 函数语言的动态存储管理 387
练习 392
第十章 逻辑程序设计 399
10.1 逻辑和逻辑程序 400
10.2 Horn子句 404
10.3 归结和合一 408
10.4 Prolog语言 412
10.5 逻辑程序设计存在的问题 425
10.6 逻辑程序设计的扩展：等式系统 430
练习 433
第十一章 并行程序设计 438
11.1 并行处理的介绍 439
11.2 并行处理和程序设计语言 443
11.3 伪并行化方法和协同例程 451
11.4 信号量 457
11.5 管程 464
11.6 消息传递 468
11.7 非过程语言的并行方法 476
练习 483
参考文献 491