《程序设计语言概论》

目录1

第一章　程序设计语言概述1

1.1　历史的回顾1

1.2　程序语言的设计原则8

1.3　程序语言的发展特征14

1.4　强制式语言与作用式语言17

第二章　顺序控制结构28

2.1　变量、表达式和语句28

2.2　作用域和生存期38

2.3　过程54

第三章　数据类型72

3.1　数据类型与类型化72

3.2　类型转换74

3.3　类型等价76

3.4　类型的实用分析与问题80

3.5　Ada语言类型鸟瞰87

第四章　数据抽象94

4.1　基本特征95

4.2　SIMULA的类99

4.3　Euelid的模块106

4.4　MODULA的模块111

4.5　Ada的程序包120

4.6　代数式抽象规范说明127

第五章　并发137

5.1　并发概述137

5.2　早期语言的并发措施140

5.3　信号量与PV操作143

5.4　条件临界区149

5.5　管程153

5.6　路径表达式164

5.7　消息传递168

5.8 会合（rendezvous）177

5.9　各种并发语言的剖析与分类188

第六章　异常处理197

6.1 异常机制的设计197

6.2 PL 1的ON条件200

6.3　CLU的异常处理206

6.4　Mesa中的异常设施210

6.5 Ada的异常机制212

第七章　函数程序设计语言224

7.1 函数程序设计的一般概念224

7.2 函数语言与符号处理—LISP229

7.3 函数语言与非冯结构—FP244

7.4 函数语言与软件开发—ML254

7.5　函数语言综述274

第八章　数据流语言275

8.1 数据流语言的设计背景与原则275

8.2 VAL的语言特性285

8.3 对VAL语言的评价298

第九章　逻辑程序设计309

9.1　Horn短句逻辑程序设计310

9.2　PROLOG语言319

9.3 逻辑程序设计的发展特征332

第十章　面向对象的程序设计语言345

10.1 面向对象的程序设计345

10.2　Smalltalk程序设计语言347

10.3　Smalltalk语言的特点365

10.4　Smalltalk环境369

10.5 展望374