目 录 1
序 1
引言 1
第一章概论 4
1.1 程序的正确性——首先追求的目标 4
1.2算法效率决定程序效率 8
1.3程序设计方法的重要性 9
1.4程序设计语言概论 16
1.4.1类型概念 17
1.4.2对象概念 18
1.4.3作用域概念 18
1.4.4控制结构 20
1.4.5程序结构 21
1.4.6分别编译 21
1.5软件工程的基本概念 22
1.6应用的开发——类型的开发 24
习题 26
参考文献 27
第二章算法设计与分析基础 28
2.1算法复杂性分析基础 28
2.1.1算法复杂性分析的基本概念 28
2.1.2怎样计算程序复杂性函数 32
2.2算法信息论基础 37
2.2.1算法信息表示 37
2.2.2算法信息的执行回收 40
2.3.1算法设计原则与类型设计 42
2.3算法设计原则与范例 42
2.3.2数据结构算法及其类型 62
2.3.3图论算法及其类型 69
2.3.4模拟算法及其类型 99
2.3.5模式识别算法类型 136
2.3.6一个图形处理的抽象数据类型 149
2.4降低算法复杂性的一般方法 152
2.4.1加权法 152
2.4.3模糊算法 153
2.4.2概率算法 153
2.4.4并行算法 160
习题 163
参考文献 166
第三章类型程序设计（自下而上） 167
3.1组合构造式程序设计 167
3.1.1构造类别代数理论概述 167
3.1.2构造一个集合 170
3.1.3定义一个函数 173
3.1.4构造一个可执行证明 181
3.1.5构造类别代数 186
3.1.6构造类别代数的范畴 188
3.1.7项与数据结构 198
3.1.8小结 199
3.2 抽象数据类型（ADT） 201
3.2.1 类型参数与实例发生 201
3.2.2抽象数据类型实例 210
3.2.3与计算机有关的抽象数据类型 217
3.3抽象数据类型的支持系统 218
3.3.1抽象数据类型的支持系统的组成 219
3.3.2 NCI/VAX C_ADT软件重用与自动生成系统的使用 220
3.4 抽象数据类型说明语言CAL 221
3.4.1 CAL语言的词法单位 222
3.4.2 CAL语言的结构 224
3.4.3类型参数声明 224
3.4.4类型全程变量声明 225
3.4.6函数定义 226
3.4.5类别定义 226
3.4.7表达式 228
3.4.8公理 230
3.4.9类型参数与实例数据类型的发生 232
3.5类型表达式与软件自动生成 234
3.5.1类型表达式 234
3.5.2软件自动生成 235
习题 236
参考文献 236
4.1.1一个程序设计说明语言 237
第四章类型结构程序设计（自上而下） 237
4.1 自上而下的推导式程序设计 237
4.1.2程序推导的基本原理与步骤 249
4.1.3自上而下类型分解 261
4.2结构程序设计的形式结构 267
4.2.1结构程序设计语言的BNF表示 267
4.2.2结构程序设计的框图结构 268
4.2.3非结构程序转化成结构程序 276
4.3 VAX C语言的某些语义说明 278
4.3.1 VAX C语言的存储分配与代码生成语义 279
4.3.2 VAX C语言的标识符作用域与生存时间 285
4.3.3 VAX C语言的整体赋值与相等概念 289
4 3 4 VAX C语言的变量指针 292
4.3.5 VAX C语言的函数声明与函数调用 294
4.3.6 VAX C语言的系统服务、运行时间库及其他系统函数调用 300
4.3.7 VAX C语言的函数指针 309
4.3.8 VAX C语言的程序设计注意事项及规范 311
4.4 YACC——一个编译程序设计的通用工具 313
习题 326
参考文献 328
第五章并发类型程序设计（面向过程） 329
5.1并发程序设计概述 330
5.2 VMS进程的抽象数据类型 333
5.3 VMS进程的同步、通讯及类型 355
5.3.1公用事件标志作为同步信号 355
5.3.2进程用信箱进行通讯 364
5.3.3进程用全局段进行通讯 374
5.4 VMS进程的异常处理与异步自陷及类型 391
5.4.1 VMS的异常处理 392
5.4.2 VMS的异步自陷（AST） 403
5.5 VMS的记录管理服务系统及类型 405
5.6 用VAX C语言编写驱动程序及类型 437
5.7特权共享软件与网络任务通讯 467
5.7.1特权共享软件——用户写系统服务 467
5.7.2网络任务通讯 476
5.8.1表格管理系统（FMS）入门 482
5.8 VMS的表格管理系统及类型 482
5.8.2如何在高级语言程序中使用FMS 486
5.8.3表格抽象数据类型 487
习题 499
参考文献 500
第六章组织大型软件的方法论 501
6.1 概述 501
6.2软件模块说明语言——类型说明语言 502
6.3 数据类型的划分与定义——模块划分就是类型的划分 505
6.4 自上而下地组织一个大型软件 517
6.5 自下而上地组织一个大型软件 520
习题 521
参考文献 522
第七章软件自动生成基础 523
7.1 λ－演算初步 523
7.2 Martin-L？f类型论初步 528
7.2.1直觉主义数学 528
7.2.2 Martin-L？f类型论概述 532
7.2.3 Martin-L？f类型论非形式说明 533
7.2.4 Martin-L？f类型论的形式说明 537
7.2.5 实例 543
习题 548
参考文献 550
附录VAX/VMS操作系统的一个简明类型语义 551
1.0概论 551
2.0 VAX机描述 553
3.0 VMS控制的语义 557
4.0 VMS进程管理系统的语义 559
5.0 VMS存储管理系统的语义 563
6.0 VMS I/O管理系统的语义 565
7.0 VAX记录管理系统的语义 568
8.0 VMS逻辑名系统的语义 570
9.0 VMS DCL命令的语义 571
10.0 VMS引导及初始化的语义 576
参考文献 579