《高级程序设计语言概论》求取 ⇩

目 录1

第一章 绪论1

§1.1 引言1

§1.2 软件开发过程2

§3.4 变量3

§1.3 软件开发环境与程序设计语言3

§1.4 软件设计方法与程序设计语言4

§1.5 计算机体系结构与程序设计语言5

§1.6 软件开发过程与程序设计语言6

1.6.1 程序设计语言与可靠性6

1.6.2 程序设计语言与可维护性7

1.6.3 程序设计语言与效率7

§1.7 程序设计语言发展简介8

1.7.1 早期的高级语言8

1.7.2 早期的突破9

1.7.3 概念的集成9

1.7.6 Ada和第四代语言10

1.7.4 再一次突破10

1.7.5 大量的探索10

1.7.7 新一代程序设计语言11

§2.1 抽象的作用13

第二章 程序设计语言概念抽象13

§2.2 数据抽象14

2.2.1 早期程序设计语言的数据抽象14

2.2.2 自定义类型14

2.2.3 抽象数据类型的趋向15

§2.3 控制抽象16

2.3.1 语句级控制结构的演变16

2.3.2 用户级控制结构的演变17

§2.4 程序正确性20

习 题22

第三章程序设计语言的结构24

§3.1 语言的定义24

3.1.1 语法24

3.1.2 语义29

§3.2 语言处理30

3.4.1 变量的作用域32

§3.3 约束概念32

3.4.2 变量的生存期33

3.4.3 变量的值33

3.4.4 变量的类型34

§3.5 程序单位36

§3.6 程序设计语言运行时结构37

3.6.1 FORTRAN的结构37

3.6.2 类ALGOL的结构41

3.6.3 动态语言的结构48

§3.7 参数传递49

3.7.1 数据参数49

3.7.2 子程序参数51

§3.8 语言实现和语言定义54

习 题56

第四章 数据类型59

§4.1 内部类型59

§4.2 数据聚集60

4.2.1 笛卡尔乘积60

4.2.3 序列61

4.2.2 有限映象61

4.2.4 递归62

4.2.5 判定或62

4.2.6 幂集63

§4.3 用户定义类型63

4.3.1 ALGOL68类型结构64

4.3.2 Pascal类型结构70

4.3.3 Ada类型结构76

4.4.1 静态和动态类型检查82

§4.4 类型评价82

4.4.2 类型转换83

4.4.3 类型兼容性84

4.4.4 指针问题85

§4.5 抽象数据类型88

4.5.1 SIMULA67的类机制88

4.5.2 现代语言的抽象数据类型92

§4.6 实现模型98

4.6.1 内部类型和用户定义的非结构类型98

4.6.2 结构类型99

4.6.3 类和抽象数据类型102

4.6.4 垃圾回收104

习 题105

第五章 控制结构107

§5.1 语句级控制结构107

5.1.1 顺序107

5.1.2 选择107

5.1.3 重复110

5.1.4 语句级控制结构的评价112

5.1.5 用户定义控制结构114

5.1.6重复构造实现模型115

§5.2 单位级控制结构116

5.2.1 显式调用从属单位117

5.2.2 隐式调用单位122

5.2.3 对称单位：SIMULA67协同程序125

5.2.4 并发单位127

习 题136

6.2.1 一个命令式程序138

§6.2命令式语言的性质138

§6.1引言138

第六章 函数式程序设计138

6.2.2 命令式语言存在的问题139

§6.3 函数式程序设计基础141

6.3.1 函数141

6.3.2 数学函数与程序设计语言函数142

6.3.3 函数式（作用式）语言143

§6.4 一种简单的纯函数式语言143

6.4.1 原语函数143

6.4.2 函数型144

§6.5 其它语言的作用式属性147

6.5.1 LISP147

6.5.2 APL152

§6.6 作用式和命令式语言的比较155

习题156

第七章逻辑程序设计158

§7.1 说明与实现158

§7.2 非过程式语言实例160

7.2.1 数据库语言160

7.2.3 SN OB OL4161

7.2.2 SETL161

§7.3 PROLOG概述163

7.3.1 事实、规则和问题163

7.3.2 合一与回溯165

7.3.3 通用数据结构168

7.3.4 PROLOG应用170

§7.4 PROLOG与SNOBOL4170

§7.5 逻辑程序设计展望171

习题171

§8.2 面向对象的基本概念173

8.2.1 数据过程与对象消息173

第八章面向对象程序设计173

§8.1 引言173

8.2.2 对象和类174

8.2.3 面向对象程序设计的基本性质174

8.2.4 数据结构175

§8.3Smalltalk176

8.3.1 对象177

8.3.2 消息177

8.3.3 方法178

8.3.4 类179

8.3.5 控制结构179

8.3.6 类与抽象数据类型的比较180

8.3.7 继承和子类181

8.3.8 设计原则183

§8.4 C++184

8.4.1 C和C++程序示例184

8.4.2 数据隐蔽185

8.4.3 数据抽象185

8.4.4 继承与动态约束188

§8.5 小结190

习题190

第九章形式语义学简介192

§9.1 引言192

§9.2 形式语义学分类193

§9.3 公理语义学简述194

§9.4指称语义学简述198

习题202

参考文献203