Ada程序设计风格与范例pdf电子书版本下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快] 温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页 直链下载[便捷但速度慢]   [在线试读本书]   [在线获取解压码]

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

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数 要大于 标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

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