《Ada程序设计导论》求取 ⇩

1—1 一个简单的Ada程序2

第一章 引论2

1—2 Ada基本说明4

一、Ada的字符集4

二、Ada的词法单元5

三、数值直接量5

四、字符直接量和字符串6

五、限制符7

1—3 类型和目标说明7

一、类型说明7

二、目标说明8

二、枚举类型9

1—4 标量类型9

一、整型9

三、离散类型的属性10

四、字符型和布尔型11

五、实型11

1—5 组合数据类型14

一、数组15

二、记录20

1—6 表达式和操作符说明23

一、表达式之例24

二、操作符的说明24

三、条件语句27

二、空语句27

1—7 语句27

一、赋值语句27

四、case选择语句28

五、循环语句29

六、出口语句31

七、无条件转移语句32

八、返回语句33

九、块结构33

习题34

2—1 子程序组成36

一、子程序说明36

第二章 子程序36

二、子程序体37

三、形式参数38

四、子程序举例39

2—2 子程序调用41

一、实现对数据交换子程序的调用41

二、实现对函数SQRT的调用42

三、实现对函数重载操作符的调用43

2—3 子程序重载44

2—4 可见性规则45

一、实体的作用域45

二、实体的可见性46

2—5 重命名实体49

一、程序包的换名49

二、子程序的换名50

2—6 举例50

一、八皇后问题50

二、求分类数组中的最频值55

三、汉诺(HANOI)塔问题57

四、数组的快速分类算法58

五、矩阵乘法60

习题62

3—1 引言63

第三章 输入和输出63

3—2 直接文件和顺序文件64

一、对直接和顺序文件的存取64

二、对直接和顺序文件的操作命令66

三、文件操作中的异常68

四、举例69

3—3 正文文件70

一、缺省文件的输入输出71

二、控制打印格式72

三、对正文文件的存取77

四、交互式输入78

五、正文文件输入输出示例78

习题82

4—1 关于强类型84

4—2 子类型84

第四章 对类型的进一步说明84

4—3 派生类型86

4—4 类型转换87

4—5 存取类型88

一、存取类型说明88

二、变量的动态分配89

三、动态分配变量的命名91

四、存取类型的作用92

五、存取类型和索引限制98

一、带有判别式的记录类型99

4—6 记录类型99

二、变体记录101

4—7 举例103

一、用变体记录类型计算几何图形的面积103

二、打印二叉树的值104

习题105

第五章 程序包107

5—1 引言107

5—2 程序包说明107

5—3 程序包体109

5—4 私有类型111

一、符号表管理程序包120

5—5 举例120

二、优先级队列管理程序包125

习题129

第六章 独立编译131

6—1 引言131

6—2 程序库132

6—3 编译单元和编译133

6—4 子单元(SUBUNIT)134

6—5 编译顺序142

6—6 重新编译143

习题143

7—1 引言148

第七章 异常处理148

7—2 异常说明和异常处理149

一、异常说明149

二、异常处理程序149

7—3 系统预定义的异常152

7—4 引发异常的语句153

7—5 异常处理程序的激活和异常传播154

一、在处理说明期间引发异常154

二、在语句执行期间引发异常154

三、异常处理举例155

7—6 再现引发异常的操作156

7—7 抑制异常检查157

7—8 异常处理举例161

一、阶乘161

二、化简公式161

三、文件合并162

习题165

第八章 任务167

8—1 引言167

8—2 任务和会合168

8—3 任务描述与任务体169

8—4 接收入口调用语句170

一、任务类型174

8—5 任务类型和任务目标174

二、动态分配的任务175

8—6 任务的激活与终止176

一、任务的激活176

二、任务的终止177

8—7 延时语句和停止语句178

一、延时语句178

二、停止语句178

8—8 选择语句178

一、选择等待语句179

二、条件入口调用语句181

三、定时入口调用语句181

8—9 互斥183

8—10 任务的入口族184

8—11 异常结束语句186

8—12 中断187

8—13 任务优先级187

8—14 任务和入口的属性188

8—15 任务和异常188

8—16 举例189

一、用Ada任务实现信号189

二、信号灯190

三、任务调度控制191

四、最短作业优先调度193

五、哲学家进餐问题194

六、电梯控制198

七、核反应堆控制210

习题213

第九章 通用单元215

9—1 引言215

9—2 通用单元说明和体217

9—3 通用形参说明及匹配规则220

一、通用类型的参数220

二、通用子程序参数221

9—4 举例223

一、求指定元素的第N个后继元素223

二、堆栈224

三、通用插入分类过程225

四、梯形积分法227

五、集合229

习题231

第十章 低级程序设计234

10—1 引言234

10—2 系统特性的改变236

10—3 表示属性和表示子句237

一、表示属性237

二、表示子句239

10—4 与其它语言接口248

一、编用INTERFACE248

二、输入输出编用250

三、插入机器代码255

10—5 不检查地回收存贮区256

10—6 不经检查的类型转换256

10—7 举例257

一、打字机的输入输出258

二、存贮分配程序261

习题263

附录1 预定义的语言属性265

附录2 预定义的语言编用272

附录3 预定义的语言环境278

附录4 预定义的程序包CALENDAR292

附录5 VAX机上的SYSTEM程序包294

参考文献299