ADA导论

目录
作者前言
第一章ADA程序的结构
1.1绪言
1.2一个简单的ADA程序
1.3程序包
第二章符号表示法
2.1标识符
2.3数值字面量
2.2定义符
2.4字符字面量
2.5字符串
2.6注释
2.7杂注
2.8习题
第三章离散数据类型
3.1 ADA类型系统的基本原则
3.2枚举类型
3.3字符类型
3.5整数类型
3.4布尔类型
3.6表达式
3.7类型转换
3.8习题
第四章语句
4.1语句序列
4.2 NULL语句（空语句）
4.3赋值语句
4.4 GOTO语句（无条件转移语句）
4.5 IF语句（条件语句）
4.6 CASE语句（情况语句）
4.7 LOOP语句（循环语句）
4.8举例——翻一页日历
4.9举例——查出素数
4.10习题
第五章说明和分程序
5.1分程序结构
5.2说明
5.3对象说明
5.4数值说明
5.5 DECLARE语句
5.6举例——查出素数
5.7 习题
第六章子程序
6.1子程序体
6.2参数
6.3子程序调用
6.4隐含参数值
6.5子程序规格
6.6过载表达式和限定表达式
6.7运算符
6.8举例——PASCAL三角形
6.9习题
第七章程序包
7.1程序包规格
7.2程序包体
7.3 USE子句
7.4专用类型
7.5派生类型和程序包
7.6举例——报告编译时错误的程序包
7.7习题
8.1数组类型
第八章结构化数据类型
8.2数组聚集
8.3数组的使用
8.4 串
8.5数组属性
8.6数组类型的转换
8.7记录类型
8.8记录聚集
8.9记录的使用
8.10隐含初始值
8.11举例——一个网络管理程序包
8.12习题
第九章再论程序结构
9.1编译单位
9.2上下文规格
9.3子单位
9.4编译顺序
9.5名字的作用域和可见性
9.6访问名字被隐藏了的实体
9.8习题
9.7名字的过载和唯一性
第十章可判别的类型
10.1变体记录
10.2可变长数组
10.3判别式约束
10.4使用可判别的类型
10.5可判别的专用类型
10.6举例——一个文本处理程序包
10.7习题
11.1数据对象的静态和动态分配
第十一章访问类型
11.2访问类型的基本概念
11.3访问类型的说明和名字
11.4分配符
11.5访问型常量
11.6可判别的基类型和未约束数组基类型
11.7存贮分配和存贮回收的控制
11.8举例——Ada源文本的交叉引用表生成程序
11.9习题
第十二章任务
12.1并行的概念
12.2任务的说明
12.3任务的通讯和会合
12.4 入口和ACCEPT语句
12.5 不确定性与SELECT语句
12.6延迟、超时和终止
12.7条件的和计时的入口调用
12.8 入口家族
12.9 任务类型
12.11任务的属性
12.12停止有故障的任务
12.10任务的优先级
12.13举例——一个串行通信接口
12.14习题
第十三章异常处理
13.1运行时出错
13.2用异常来表示出错
13.3引发和处理异常
13.4为一个引发的异常选择一个处理程序段
13.5出错处理技术
13.6任务中的异常
13.8习题
13.7举例——网络管理程序包
14.1程序单位的参数化法
第十四章类属程序单位
14.2类属说明
14.3类属的例示
14.4类属参数
14.5举例——用于任务通讯的类属缓冲区
14.6习题
15.1ADA 中的输入与输出
15.2文件
第十五章输入和输出
15.3说明，打开，关闭文件
15.4顺序文件的处理
15.5随机存取文件的处理
15.6正文文件
15.7隐含的文件
15.8正文输出
15.9正文输入
15.10字符串的输入和输出
15.11举例——交叉引用生成程序
15.12习题
16.1定点和浮点表示法
第十六章实数据类型
16.2浮点类型
16.3定点类型
16.4实型计算的语义
16.5举例——一个数字滤波器的定点实现
16.6习题
17.1表示法规格
17.2低级输入输出程序设计
第十七章低级程序设计
17.3长度规格
17.4与机器有关的常量
17.5举例——线接口程序包
附录A：预定义语言属性
附录B：预定义语言杂注
附录C：预定义语言环境
附录D：标准输入输出程序包
附录E：语法图
附录F：部分习题解答