第一章Ada概论 1
第一节Ada的背景 1
目 录 1
第二节Ada的开发史 3
第三节Ada的特点 4
第四节Ada程序结构 5
习题一 7
第一节基本符号 9
第二节标识符 9
第二章词法单元 9
第三节保留字 10
第四节数值字面量的表示 11
第五节字符字面量的表示 12
第六节注释 12
习题二 12
第三章数据类型及对象声明 14
第一节Ada的类型（type） 14
第二节名字与表达式 16
第三节对象的声明及赋值 19
习题三 21
第一节整数类型 24
第四章标量类型 24
第二节实数类型 26
第三节浮点类型 26
第四节定点类型 28
第五节字符类型 29
第六节枚举类型 29
第七节布尔类型 33
习题四 33
第一节约束 35
第五章子类型和派生类型 35
第二节子类型 36
第三节派生类型 38
习题五 40
第六章控制语句 42
第一节语句概述 42
第二节块语句 43
第三节if语句（条件语句） 45
第四节case语句（情况语句） 47
第五节loop语句（循环语句） 49
第六节转移语句 55
习题六 55
第七章子程序 57
第一节过程 57
第二节子程序的参量 59
第三节函数 62
第四节重载 64
第五节子程序参量的可见性 67
第六节子程序的应用 68
习题七 71
第八章程序包 74
第一节程序包结构及封装 74
第二节私有类型 78
第三节分别编译 81
第四节程序包的应用 82
习题八 84
第九章组合类型 86
第一节数组 86
第二节数组类型 90
第三节无约束型数组类型 93
第四节数组参数及数组的分片 95
第五节字符类型和字符串类型 99
第六节动态数组和数组操作 100
第七节记录类型 102
第八节带判别式的记录类型 105
第九节变体记录类型 108
习题九 110
第十章访问类型 111
第一节访问类型 111
第二节分配算符及访问对象的引用 113
第三节用于访问类型的连接操作 116
第四节访问类型的典型应用 116
习题十 122
第十一章类属程序单元 124
第一节问题的提出 124
第二节类属程序单元的结构及例示 126
第三节类属程序单元的类型参量及其匹配规则 132
第四节类属程序单元的形式参量 138
第五节类属程序单元的子程序参量 139
第六节类属程序单元的应用 142
习题十一 145
第十二章任务 146
第一节Ada任务的规范说明和任务体 146
第二节任务类型及其对象 149
第三节任务入口及其调用 152
第四节接收语句 154
第五节任务间的会合与信息交换 156
第六节延迟语句及多任务的时间安排 161
第七节选择语句 162
第八节任务的终止 172
第九节任务的运行状态 174
第十节Ada任务的应用 179
习题十二 190
第十三章异常处理 193
第一节异常的声明和引发 193
第二节异常的处理 197
第三节异常的作用域 200
第四节异常处理的应用 205
习题十三 208
第一节Ada输入与输出的基本概念 210
第十四章输入与输出 210
第二节顺序文件与随机文件的输入与输出 211
第三节顺序文件与随机文件的管理系统 213
第四节文本文件的输入与输出 216
第五节IO_EXCEPTION的规范说明 228
第六节低层次输入输出 228
习题十四 228
第十五章Ada的大型程序设计 231
第一节大型程序的结构设计 231
第二节大型程序的编译 233
第三节面向对象的Ada程序设计 237
习题十五 241
附录A Ada程序举例 243
A.1 求全班某课程的平均成绩 243
A.2 枚举类型的属性 243
A.3 字符类型的例子 244
A.4 打印负数 245
A.5 统计全班成绩总分和平均分数 245
A.6 打印0～31能被3整除的数 246
A.7 计算工业产值 247
A.8 逻辑运算举例 248
A.9 求质数程序 248
A.10统计选票程序 249
A.11解二元一次方程 250
A.12解一元二次方程 251
A.13排序程序 252
A.14表头管理程序 254
A.15过程形参使用的举例 256
A.16发放工资程序 257
A.17整数运算和输入输出程序 258
A.18任务通信程序（信息交换） 260
A.19读写顺序文件 261
A.20关于颜色的对话 262
A.21整数栈管理问题 263
A.22典型筛的问题 265
A.23编译程序的验证程序 266
A.24保护时间程序 268
A.25树的处理问题 273
A.26拷贝程序问题 275
A.27队列处理问题 278
A.28 Ada与SMG的接口程序 279
A.29软件表决器程序 284
A.30银行管理模拟程序 289
附录B 预定义环境 296
B.1 程序包STANDARD 296
B.2 程序包CALENDAR 300
B.3 程序包SYSTEM 301
B.4 类属程序包SEQUENTIAL_IO 301
B.5 类属程序包DIRECT_IO 303
B.6 程序包TEXT_IO 304
B.7 程序包IO_EXCEPTIONS 310
B.8 程序包LOW_LEVEL_IO 311
B.9 类属过程UNCHECKED_DEALLOCATICN 311
B.10类属函数UNCHECKED_CONVERSION 311
B.11 类属过程UNCHECKED_DEALLOCATION 311
附录C Ada的预定义语言编用 312
附录D Ada预定义语言属性 315
附录E Ada语法总结 320
参考文献 326