图书介绍
Ada语言与程序设计PDF|Epub|txt|kindle电子书版本网盘下载
- 王振宇编著 著
- 出版社： 武汉：武汉大学出版社
- ISBN：7307001500
- 出版时间：1987
- 标注页数：356页
- 文件大小：7MB
- 文件页数：371页
- 主题词：
PDF下载
下载说明
Ada语言与程序设计PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
目 录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