01 · 核心想法
用日常语言理解
艾兹赫尔·戴克斯特拉主张把编程视为智力活动，而不只是不断修补故障。结构清晰的控制流程和细致推理，使程序能够被理解为较小部件的组合。他的贡献还横跨算法、并发与程序设计基础。
为什么重要
清楚的结构和明确的不变量，让人们能够在故障出现之前分析程序。
1972 · 语言与软件
从构造时就考虑正确性
可靠的软件始于推理：每一部分究竟必须保证什么？
1972图灵奖
视觉指南
奖项，化为图解
阅读图解文字
规定
明确必须成立的条件。
组织
构造可理解的程序部件。
推理
保持所需的性质。
清楚的结构和明确的不变量，让人们能够在故障出现之前分析程序。
测试仍然重要，但通过一组测试不能证明程序的所有可能行为。
02 · 人物
是谁让想法成为现实？
艾兹赫尔·戴克斯特拉
艾兹赫尔·戴克斯特拉主张，程序的设计应当让人能够理解并论证其正确性。他的贡献涵盖最短路径算法、同步、操作系统和结构化程序设计。他在埃因霍温领导分层 THE 操作系统的研究，并通过文章批评妨碍推理的编程习惯，推动以数学和严格方法构造可靠软件。
阅读人物介绍 ↗03 · 延伸阅读
来自原始资料
本站原创讲解依据官方获奖记录。领域标签用于编辑导航。
- ACM 官方档案：Edsger Dijkstra ↗amturing.acm.org
- 海德堡获奖者论坛：Edsger Dijkstra ↗www.heidelberg-laureate-forum.org
