《Ada语言与程序设计》求取 ⇩

目 录1

第一章Ada语言概述1

§1.1 Ada发展史1

1.1.1嵌入式计算机应用与软件开发的要求1

1.1.2嵌入式应用软件费用高昂的原因2

1.1.3公共高级语言计划3

1.1.4考察现有语言4

1.1.5设计5

1.1.6评审、测试与完善6

1.1.7使用6

§1.2从软件工程的角度看Ada语言7

1.2.1 Ada语言的工程性开发方法8

1.2.2 Ada的程序单元支持模块化程序设计9

1.2.3 Ada的分离编译支持大型软件的开发10

1.2.4 Ada环境提供丰富的软件开发工具11

1.2.5 Ada有助于可靠软件的设计12

第二章基础知识15

§2.1 最简单的Ada程序结构15

§2.2从程序段组成完整的程序17

§2.3 Ada的词18

2.3.1 词的分类18

§2.4字符集19

§2.5标识符20

§2.6保留字20

§2.7对象、类型与字面量21

2.7.1预定义类型22

2.7.2字面量23

2.7.3数值字面量23

2.7.4字符字面量24

2.7.5串字面量25

§2.8注解25

§2.9编用26

第三章程序单元与程序实体27

§3.1 程序单元27

§3.2程序实体28

§3.3实体的声明29

§3.4声明的制作30

§3.5对象声明与有名数量声明30

§3.6声明的作用域31

§3.7声明部分32

第四章语句34

§4.1 语句概说34

§4.2赋值语句35

§4.3条件语句36

§4.4情况语句40

§4.5循环语句42

4.5.1基本循环43

4.5.2 while循环44

4.5.3for循环45

§4.6 出口语句46

§4.7转移语句48

§4.8分程序语句49

§4.9空语句52

练习52

第五章类型56

§5.1 类型概念56

§5.2类型声明与类型定义57

§5.3类型树58

§5.4标量类型58

5.4.1枚举类型59

5.4.2布尔类型62

5.4.3整类型63

5.4.4实类型66

§5.5 派生类型和子类型69

5.5.1子类型70

5.5.2派生类型71

5.5.3关于Ada语言类型间关系密切度的讨论72

练习74

第六章数组、记录和访问类型75

§6.1 数组类型75

6.1.1数组类型定义75

6.1.2数组的分量77

6.1.3数组类型的属性询问函数78

6.1.4数组的切片80

6.1.5数组聚集值80

6.1.6 STRING81

6.2.1 记录类型定义84

§6.2记录类型84

6.2.2记录对象的分量与聚集值86

6.2.3记录判别项87

6.2.4判别项约束89

6.2.5变体部分89

§6.3动态数据与访问类型93

6.3.1访问类型定义与分配符93

6.3.2不完整类型声明99

练 习105

第七章表达式108

§7.1 名字108

§7.2表达式109

§7.3运算符与优先级110

§7.4限定表达式116

第八章子程序119

§8.1子程序规格说明119

8.1.1子程序的性质120

8.1.2形式参数121

8.1.3模式121

8.1.4参数关联122

8.1.5参数的缺省值122

8.1.6函数的返回值122

8.1.7子程序重载123

8.1.8运算符重载126

§8.2子程序体127

§8.3子程序调用131

8.3.1数参关联132

§8.4子程序的应用133

8.3.2缺省参数133

8.4.1子程序用作主程序单元134

8.4.2子程序用作定义功能（动作）134

8.4.3子程序用于定义抽象数据类型的操作136

练习136

第九章程序包138

§9.1程序包概念138

9.1.1模块化概念的发展138

9.1.2 Ada程序包的特点139

§9.2程序包规格说明141

§9.3程序包实体的引用142

§9.4程序包体144

§9.5私有类型149

练习154

第十章类属子程序和类属程序包155

§10.1 概述155

§10.2类属单元157

§10.3类属单元的定义和类属例举159

§10.4进一步的例子164

§10.5类属单元的应用172

练习173

第十一章任务175

§11.1任务概念175

§11.2任务的规格说明177

§11.3任务体179

11.4.1在分程序中声明的任务180

§11.4任务的声明和执行180

11.4.2在子程序体中声明的任务181

11.4.3在程序包中声明的任务183

11.4.4在任务体中声明的任务184

11.4.5任务状态图186

§11.5入口、入口调用、接受语句与任务间的187

会合187

11.5.1入口调用187

11.5.2接受语句188

11.5.3会合189

§1 1.6几个专用语句194

11.6.1延迟语句194

11.6.2选择语句194

11.6.3中止语句195

§11.7共享变量201

§11.8优先数202

§11.9任务的例205

练习210

第十二章程序结构和编译212

§12.1 Ada程序结构212

§12.2上下文子句214

§12.3子单元214

§12.4关于程序结构和编译的例216

§12.5 Ada程序结构的应用220

§12.6编译顺序229

练习230

§13.1异常概念232

第十三章异常处理结构232

§13.2异常的声明233

§13.3异常的引发234

§13.4异常处理段235

§13.5异常的处理237

§13.6异常的应用239

练习244

第十四章输入输出及语言环境248

§14.1文件248

14.1.1文件概念248

14.1.2三种文件与两种访问249

§14.2预定义输入输出程序包250

14.2.1文件的建立和打开252

14.2.3文件上的输入输出操作253

14.2.2文件的关闭和删除253

§14.3低级输入输出258

§14.4预定义的Ada语言环境概述262

§14.5预定义的库单元概述263

第十五章程序实体的物理表示265

§15.1数据类型的实现和表示265

§15.2长度子句266

§15.3枚举表示子句268

§15.4记录表示子句269

§15.5地址子句270

§15.6表示的改变271

§15.7编用PACK272

§15.9不加检查的转换273

§15.8注意事项273

§16.1 为什么要建立APSE279

第十六章Ada程序设计支撑环境（APSE）279

§16.2APSE概况280

§16.3软件生存期281

§16.4宿主机／目标机方法282

§16.5 KAPSE284

§16.6 MAPSE工具286

16.6.1命令语言处理程序287

16.6.2 Ada排错程序287

16.6.3 Ada编辑程序288

16.6.4配置管理288

§16.7 APSE的其它工具288

A.1程序包STANDARD290

参考文献290

附录A预定义环境290

A.2程序包CALENDAR298

A.3程序包SYSTEM299

A.4 类属程序包SEQUENTIAL_IO300

A.5属类程序包DIRECT_IO301

A.6程序包TEXT_IO305

A.7 程序包IO_EXCEPTIONS314

A.8程序包LOW_LEVEL_IO315

A.9 类属过程UNCHECKED_DEALLOCATION315

A.10 类属函数UNCHECKED_CONVERSION315

附录B Ada自我测验题316

附录C Ada语法摘要346