Ada程序设计风格与范例PDF电子书下载

目录 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 Pascal 23

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

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

1.4.3 Ada 26

图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