关于 Dijkstra 的论文

Question

我正在阅读工作中的程序员。

我在唐纳德·高德纳 (Donald Knuth) 的采访中看到了这一段。

Seibel：我采访过的很多人在刚开始工作时似乎都可以直接访问机器。然而，Dijkstra 有一篇论文，我相信你很熟悉，他基本上说我们不应该让计算机科学专业的学生在训练的头几年接触机器；他们应该把所有的时间都花在操作符号上。

我想要那篇论文的链接。那是哪一篇论文？ （他写得太多了:-)

Answer 1

也许这个？

摘录，从接近尾声开始：

在我们分开之前，我想邀请您考虑以下方式，在入门编程课程中充分体现计算的激进新颖性。

一方面，我们教授看似谓词演算的东西，但我们的做法与哲学家非常不同。为了训练新手程序员处理未解释的公式，我们更多地将其作为布尔代数来教授，让学生熟悉逻辑连接词的所有代数属性。为了进一步切断与直觉的联系，我们将布尔域的值{true, false}重命名为{black,white}。

另一方面，我们教授一种简单、干净、命令式编程语言，以跳过和多重赋值作为基本语句，以局部变量的块结构，分号作为语句组合的运算符，这是一个很好的替代结构，一个很好的重复，如果需要的话，一个过程调用。为此，我们添加最少的数据类型，例如布尔值、整数、字符和字符串。重要的是，无论我们引入什么，相应的语义都是由随之而来的证明规则定义的。

从一开始，在整个课程中，我们都强调程序员的任务不仅仅是写出一个程序，他的主要任务是给出一个形式证明，证明他提出的程序满足同样形式化的功能规格。在同时设计证明和程序时，学生有充足的机会通过谓词演算来完善其操作敏捷性。最后，为了传达这样的信息：这门入门编程课程主要是一门形式数学课程，我们确保相关编程语言尚未在校园内实施，以保护学生免受测试其程序的诱惑。 。我为新生开设入门编程课程的提案就到此结束。

Answer 2

我找到了 Dijkstra 的“残酷”讲座的手稿。