《实用类型程序设计》求取 ⇩

目 录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 抽象数据类型说明语言CAL221

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如何在高级语言程序中使用FMS486

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