《Ada语言实用教程》求取 ⇩

第一章 导论1

1.1 Ada的历史背景1

1.2 Ada的产生过程2

1.3 Ada的主要特点3

1.4 一个简单的Ada程序5

1.5 Ada_RTS编译系统7

第二章 基础10

2.1 词法元素10

2.1.1 字符集10

2.1.2 标识符10

2.1.3 字面值11

2.1.3.1 数值字面值11

2.1.3.2 字符字面值12

2.1.3.3 字符串字面值12

2.2 编用13

2.1.4 注解13

2.3 类型说明与分类14

2.4 对象说明与赋值15

2.5 语句与分类16

2.6 分程序与作用域17

第三章 标量类型20

3.1 子类型与派生类型20

3.1.1 子类型20

3.1.2 派生类型21

3.2 整数类型21

3.3 枚举类型25

3.3.1 布尔类型27

3.3.2 字符类型28

3.4 实数类型28

3.4.1 浮点类型28

3.4.2 定点类型30

3.5 表达式综述31

第四章 流程控制34

4.1 条件语句34

4.2 情况语句36

4.3 循环语句与出口语句37

4.3.1 基本循环与出口语句38

4.3.2 for循环39

4.3.3 while循环39

4.4 转移语句与标号40

第五章 合成类型42

5.1 数组类型42

5.1.1 非约束性数组42

5.1.2 约束性数组43

5.1.3 数组聚集43

5.1.4 数组类型的操作44

5.2.1 简单记录类型48

5.2 记录类型48

5.2.2 记录的使用与操作49

5.2.3 判别项记录类型50

5.2.4 判别项约束52

5.2.5 判别项记录的使用与操作53

5.3 存取类型54

6.1 子程序的形式57

6.2 子程序体和返回语句57

第六章 子程序57

6.3 形式参数58

6.4 子程序调用60

6.5 子程序说明62

6.6 运算符和‘一名多用’子程序63

6.6.1 运算符63

6.6.2 子程序的‘一名多用’64

6.7 子程序的应用65

7.2 程序包规格说明66

7.1 概述66

第七章 程序包66

7.3 程序包体68

7.4 程序包实体的引用70

7.5 私有类型72

7.6 二叉树树叶计数问题73

第八章 类属78

8.1 说明与衍生78

8.2 类属类型参数81

8.3 类属子程序参数83

8.4 一个通用集合程序包的例子85

第九章 异常处理88

9.1 异常处理88

9.2 异常说明与引发语句89

9.3 异常传播91

9.4 异常的作用域94

10.1 任务概念98

第十章 任务98

10.2 任务规格说明与任务类型99

10.3 任务体101

10.4 接受语句与任务间的会合103

10.5 银行模拟问题105

10.6 选择语句110

10.6.1 选择等待110

10.6.2 条件入口项调用111

10.6.3 定时入口项调用111

10.7 夭折语句与任务优先级112

10.8 任务对象的存取类型112

10.9 哲学家就餐问题114

第十一章 程序结构和分别编译118

11.1 Ada程序结构118

11.2 上下文子句119

11.3 编译单位的子单位121

11.4 编译顺序和程序库123

11.5 重命名说明123

11.6 Ada程序结构的应用125

第十二章 外部接口128

12.1 输入输出128

12.1.1 文件概念128

12.1.2 文件管理128

12.1.3 顺序文件和直接文件的输入输出129

12.1.4 正文输入输出130

12.1.5 低级输入输出134

12.2 表示子句及中断134

12.2.1 长度表示子句134

12.2.2 枚举表示子句135

12.2.3 记录表示子句136

12.2.4 地址表示子句与中断136

附录A Ada语法定义138

附录B Ada小字典146

附录C Ada—RTS编译系统的使用说明151

附录D 程序实例154

D.1 文件测试154

D.2 “八皇后”问题155

D.3 SHELL排序158

D.4 “河内（HANOI）”塔问题161

D.5 求素数163

D.6 人员记录164

D.7 统计考分167

D.8 树遍历169

D.9 逻辑运算测试171

D.10 用并发任务寻找素数175

D.11 哲学家就餐问题177

D.12 交通仿真问题180

附录E 练习答案189