《编程的修炼(中英对照)》是图灵奖获得者（荷）戴克斯特拉在编程领域里的经典著作中的经典。由裘宗燕翻译。作者基于其敏锐的洞察力和长期的实际编程经验，对基本顺序程序的描述和开发中的许多关键问题做了独到的总结和开发。书中讨论了顺序程序的本质特征、程序描述和对程序行为(正确性)的推理，并通过系列从简单到复杂的程序的思考和开发范例，阐释了基于严格的逻辑推理开发正确可靠程序的过程。

本书写于20世纪70年代中后期，但其对编程技术领域的开发、编程语言发展和程序理论研究的深刻影响持续至今。本书值得每个关注计算机科学技术的本质，冀求在程序和软件领域有长远发展的计算机工作者、教师和学生阅读。

序

前言

第0章 执行抽象

第1章 编程语言的作用

第2章 状态及其特征

第3章 语义的性质

第4章 一种编程语言的语义特征

第5章 两个定理

第6章 论完满终止结构的设计

第7章 再论欧几里得算法

第8章 几个小例子的形式化处理

第9章 论受限的非确定性 

第10章 有关记法的短论：“变量的作用域’

第11章 数组变量

第12章 线性检索定理

第13章 下一个排列

第14章 荷兰国旗问题

第15章 更新顺序文件

第16章 再论归并

第17章 来自R．W．HAMMING的一个练习

第18章 模式匹配问题

第19章 将一个数写成两个平方之和 

第20章 大数的最小素因子问题

第21章 最孤立村庄问题 

第22章 最短子支撑树问题

第23章 记录等价类的REM算法

第24章 三维空间的凸包问题

第25章 有向图的最大强连通分支

第26章 论手册和实现

第27章 跋

“很长时间以来，我一直想写一本基本上是按照本书线索的著作，原因是： 一方面，我知道程序可以有迷人的形态和深刻的逻辑之美；另一方面，我又不得不接受这样的事实，即绝大部分程序只是以一种适台机器执行的方式表达，完全没有什么美感，也不适合人们欣赏。”

“这种不满意还有第二个原因，那就是各种算法通常总是以一种完成了的产品形式发表，而在设计过程中起着最重要作用的，以及成为证明所完成程序的最终形式的正当性的各种思考的主要部分，通常都完全没有提及。我最初的想法是以读者能欣赏到它们的美的方式发表一系列优美的算法。对于如何做这件事，我当时的想法是描述一些实际的和想象中的设计过程，使其中的每个过程最终都得到了一个所需的程序。我在一定程度上实现了最初的想法，作为这本专著的核心部分是一系列的章节，每一章处理并解决一个新闻题。而在另一方面，最终写出的这本书与我早前的期望又有很大不同，由于我特别希望用一种自然而且方便的 方式来展现这些内容，因这种追求而强加给自己的任务变成了一种重要的责任。 我将永远为自己完成了这一工作而感到欣慰。” ——Edoger w D|jkstn