编程的修炼

　　本书是图灵奖获得者艾兹格·W. 迪杰斯特拉（Edsger W. Dijkstra）的最重要的著作，也是编程领域里经典著作中的经典。作者基于其敏锐的洞察力和长期的实际编程经验，对基本顺序程序的描述和开发中的许多关键问题做了独到的总结和开发。本书讨论了基本顺序程序的本质特征、程序描述和对程序行为（正确性）的推理，并通过从简单到复杂的一系列程序的思考和开发范例，阐释了基于严格的逻辑推理开发正确而可靠的程序的过程。本书写于20世纪70年代后期，但其对于编程领域的技术开发，对于编程语言的发展和程序理论研究的深刻影响持续至今。本书值得每一个关注计算机科学技术的本质，冀求在程序和软件领域有长远发展的计算机工作者、教师和学生阅读。

　　艾兹格 W.迪科斯彻 （Edsger Wybe Dijkstra，1930—2002），荷兰人，计算机科学家，毕业就职于荷兰Leiden大学，早年钻研物理及数学，后转向计算学。他曾在1972年获得图灵奖，还获得过1974年 AFIPS Harry Goode Memorial Award、1989年ACM SIGCSE计算机科学教育教学杰出贡献奖以及2002年ACM PODC**影响力论文奖。

第0章　执行抽象\t1
第　1章 编程语言的作用　6
第　2章 状态及其特征　9
第3章　语义的性质　14
第4章　一种编程语言的语义特征　22
第5章　两个定理　35
第6章　论完满终止结构的设计　39
第7章　再论欧几里得算法　43
第8章　几个小例子的形式化处理　49
第9章　论受限的非确定性　70
第　10章 简论记法：“变量的作用域”　77
第　11章 数组变量　92
第　12章 线性检索定理　103
第　13章 下一个排列　105
第　14章 荷兰国旗问题　109
第　15章 更新顺序文件　115
第　16章 再论归并　121
第　17章 R．W．HAMMING贡献的一个练习　127
第　18章 模式匹配问题　133
第　19章 将一个数写成两个平方之和　139
第　20章 大数的最小素因子　142
第　21章 最孤立村庄问题　148
第　22章 最短子支撑树问题　153
第　23章 记录等价类的REM算法　160
第　24章 三维空间的凸包问题　167
第　25章 有向图的最大强连通分支　190
第　26章 论手册和实现　199
跋　206