《Ada程序设计风格与范例》求取 ⇩

目录1

第二版导言1

第一版导言2

第一部分 抽象因素对现代程序设计语言的冲击3

第1章 抽象因素对现代程序设计语言的冲击5

1.1 现代软件存在的问题5

1.2 抽象技术的历史回顾6

1.2.1 早期的抽象技术7

1.2.3 结构化程序设计8

1.2.2 可扩充的语言8

1.2.4 程序验证10

1.2.5 抽象数据类型11

1.2.6 抽象技术和规格说明技术之间的相互影响12

1.3 现代程序设计语言中的抽象设施13

1.3.1 新思想14

1.3.2 抽象数据类型的语言支持15

1.3.3 类属定义18

1.4 实现19

1.4.1 一个小程序例子20

示图清单21

图1-1 电话号码表程序Fortran版本的声明21

图1-2 电话号码表程序Fortran版本的代码22

1.4.2 Pascal23

图1-3 电话号码表程序Pascal版本的声明24

图1-4 电话号码表程序Pascal版本的代码25

1.4.3 Ada26

图1-5 雇员记录的Ada程序包定义27

图1-6 电话号码表程序Ada版本的声明28

图1-7 电话号码表程序Ada版本的代码30

1.5 现状与潜力31

1.5.1 新思想是如何影响程序设计的31

1.5.2 当前抽象技术的局限性32

1.5.3 进一步读物33

第二部分 Ada程序设计举例35

第1章 程序举例导言37

2.1 描述39

第2章 队列的实现39

2.3 程序正文40

2.2 实现40

2.4 讨论45

图2-1 队列实现的抽象表示45

2.4.1 受限私有类型的使用46

图2-2 队列实现的实现表示46

2.4.2 初始化与终止化47

2.4.3 向任务传递判别式50

2.4.4 Rcmove当作一过程50

第3章 提供迭代算子的简单图包51

3.1 描述51

3.2 规格说明52

3.3 程序正文53

3.4 讨论58

3.4.1 算法58

图3-1 图的表示59

图3-2 图遍历的状态60

3.4.2 信息隐蔽61

3.4.3 In与In Out参数63

3.4.4 使用迭代算子63

3.4.5 迭代算子与类属过程64

3.4.6 分别编译65

图3-3 图设施的编译顺序66

第4章 PDP-11控制台驱动程序67

4.1 描述67

4.3 程序正文69

4.2 实现69

4.4.3 重启动与终止终端驱动程序73

4.4.2 任务类型与任务的区别73

4.4.1 包含任务的程序包的应用73

4.4 讨论73

4.4.4 与设备的接口74

5.1 描述76

第5章 表创建与表搜索76

5.2 实现78

5.3 程序正文78

5.4.1 程序包的使用83

5.4 讨论83

5.4.2 搜索函数的应用84

图5-2 确定匹配的下限位置85

图5-1 符号表的首次探查85

图5-3 确定匹配的上限位置86

5.4.3 多程序包的使用86

5.4.4 表中入口的类型87

5.4.5 用作表指针的私有类型的应用89

5.4.6 在类属程序包中嵌套类属程序包89

5.4.7 字符串比较89

5.4.8 整型在Find中的应用90

第6章 用多个Ada任务解拉普拉斯方程91

6.1 描述91

6.2 实现93

图6-1 任务的分配94

6.3 程序正文96

6.3.1 受保护的计数器任务类型96

6.3.2 并行松弛过程97

6.4 讨论104

6.4.1 共享变量的应用104

6.4.2 寄存器中共享变量的修改105

6.4.3 类属与类属实例105

6.4.4 Ada任务到处理器的调度106

第三部分 Ada编程格式约定107

第1章 Ada编程格式约定109

1.1 前言109

1.2 程序清单109

1.3 程序长度110

1.4 符号定义110

1.5 程序结构110

1.8.1 基本声明项111

1.8 声明部分111

1.7 注释111

1.6 程序描述体111

1.8.2 体声明项114

1.9 语句115

1.9.1 块语句115

1.9.2 循环语句116

1.9.5 接受语句117

1.9.4 条件语句117

1.9.3 情况语句117

1.9.6 选择语句117

1.9.7 简单语句118

1.12 关于缩格的限制119

1.11 关于折行的处理原则119

1.10 关于换行的说明119

附录A 描述体细节120

1.13 程序的总体结构120

附录B 实例121

参考文献125