目录

第一章　程序设计语言概述

1.1　历史的回顾

1.2　程序语言的设计原则

1.3　程序语言的发展特征

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

第二章　顺序控制结构

2.1　变量、表达式和语句

2.2　作用域和生存期

2.3　过程

第三章　数据类型

3.1　数据类型与类型化

3.2　类型转换

3.3　类型等价

3.4　类型的实用分析与问题

3.5　Ada语言类型鸟瞰

第四章　数据抽象

4.1　基本特征

4.2　SIMULA的类

4.3　Euelid的模块

4.4　MODULA的模块

4.5　Ada的程序包

4.6　代数式抽象规范说明

第五章　并发

5.1　并发概述

5.2　早期语言的并发措施

5.3　信号量与PV操作

5.4　条件临界区

5.5　管程

5.6　路径表达式

5.7　消息传递

5.8 会合（rendezvous）

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

第六章　异常处理

6.1 异常机制的设计

6.2 PL 1的ON条件

6.3　CLU的异常处理

6.4　Mesa中的异常设施

6.5 Ada的异常机制

第七章　函数程序设计语言

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

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

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

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

7.5　函数语言综述

第八章　数据流语言

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

8.2 VAL的语言特性

8.3 对VAL语言的评价

第九章　逻辑程序设计

9.1　Horn短句逻辑程序设计

9.2　PROLOG语言

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

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

10.1 面向对象的程序设计

10.2　Smalltalk程序设计语言

10.3　Smalltalk语言的特点

10.4　Smalltalk环境

10.5 展望