《微机高级程序设计语言的分类与剖析》

第一章绪论1

1．1 关于程设计语言1

1．2 程序设计语言的发展3

第二章值6

2．1 值和类型6

2．2 基本类型7

2．3 复合类型8

2．4 递归类型18

2．5 类型系统21

2．6 表达式25

第三章存储30

3．1 变量和更新30

3．2 复合变量31

3．3 可存储值35

3．4 生命期35

3．5 命令43

3．6 具有副作用的表达式50

4．1 联结和环境52

第四章联结52

4．2 可联结体53

4．3 作用域54

4．4 声明57

4．5 块64

第五章抽象67

5．1 抽象的种类67

5．2 参数72

5．3 求值的次序76

第六章封装79

6．1 包79

6．2 抽象类型82

6．3 对象和类85

6．4 类属89

第七章类型系统96

7．1 单态96

7．2 重载98

7．3 多态99

7．4 类型推理105

7．5 强制107

7．6 子类型的继承108

第八章顺序控制器113

8．1 跳转113

8．2 转出116

8．3 异常118

9．1 关于并发性的透视122

第九章并发性122

9．2 程序与进程123

9．3 并发性带来的问题124

9．4 进程的交互作用127

9．5 低给并发原语128

9．6 结构化并发程序设计136

第十章命令式程序设计范例143

10．1 命令式程序设计143

10．2 实例研究： Pascal144

10．3 实例研究： Ada149

第十一章并发式程序设计范例157

11．1 Ada任务的回顾157

11．2 再论死锁160

11．3 “庄家”算法163

第十二章面向对象式程序设计范例170

12．1 面向对象程序设计170

12．2 实例研究——smalltalk172

13．1 函数式程序设计178

第十三章函数式程序设计范例178

14．2 实例研究——Prolog189

13．2 语用学192

第十四章逻辑式程序调范例196

14．1 逻辑化程序设计196

第十五章结论207

15．1 语言的选择207

15．2 语言的设计212

15．3 语法215