目录 1
Ⅰ．结构程序设计札记 E．W．戴克斯特拉 1
1．致读者 1
2．人的能力的局限性 2
3．机器的可靠性 4
4．思维方法 8
5．正确性证明之一例 14
6．证明的有效性和实现的有效性 18
7．程序的理解 20
8．程序比较 28
9．分步程序组成之例一 33
10．程序族 49
11．存贮空间对计算速度的影响 52
12．一个程序模型 55
13．分步程序组成之例二 63
14．我们获得了什么 75
15．组织和编排程序 80
16．更具体的设计考虑 86
17．八后问题 92
1．引论 106
Ⅱ．数据结构札记 C．A．R．霍尔 106
2．类型概念 115
3．非结构数据类型 122
4．笛卡尔积 130
5．分歧和 138
6．数组 144
7．幂集 153
8．序列 163
9．递归数据结构 176
10．稀疏数据结构 184
11．例子排考表 192
12．公理化 205
参考文献 214
Ⅲ．层次程序结构 O．J．达尔与C．A．R．霍尔 216
1．引言 216
2．预备知识 216
3．对象类 221
4．伙伴程序 228
5．表格结构 239
6．程序连接 250
7．概念分层 258
参考文献 273