computer-science - 有哪些必读的 EWD？

Question

Dijkstra 是最多产的计算机科学家之一。他写了著名的EWDs。将它们全部阅读是不可行的。但我认为有一些我们都必须阅读。

其中哪些是必读的？

Answer 1

有趣的。我在博客上写过这个：EW Dijkstra 档案（更新）。我认为这可能非常重要，因为它与A Discipline of Programming一书相似。

另请参阅 EWD316，编程艺术简介。

Answer 2

我建议从他的“结构化编程”一章开始。从技术上讲，它不是 EWD，而是我最喜欢的 Dijkstra。我也强烈推荐 Stepanov 的“Elements of Programming”。在我看来，Stepanov 是我们这一代人的 Dijkstra。

Answer 3

我没有在正式场合（即在学校或大学）向您介绍过它，您可能会受益于 Dijkstra 的程序构建方法，这是一种非常严格但强大的技术，用于记录和使一个人的思维过程负责在设计程序和算法时。

一门编程学科可能是一个好的开始（就像 Roland Backhouse 的Program Construction一样），但我认为就纯粹的影响而言，最好看到熟练该技术的人使用它来取得良好的效果。他的演讲《计算论点的力量》（由德克萨斯大学主办）就是为此目的的一个很好的示范。