Algorithm 版 (精华区)
发信人: ssos (存在与虚无·守拙), 信区: Algorithm
标 题: 1972:图灵奖辞(1)
发信站: 哈工大紫丁香 (2003年02月22日10:13:41 星期六), 站内信件
1972年图灵奖演讲录
**** 节选自图灵 奔 奖词 ******
[ 1972年8月14日,在波士顿举行的ACM年会上由ACM图灵将委员会主席M.D.Mcllroy宣读。
]
程序设计语言的工作术语中镶满了由E.W.Dijkstra 发明或大力推广的词汇:display, de
adly embrace, 信号量(semaphore), 限制go-to的程序设计(go-to-less programming),
结构化程序设计(structured programming)。然而他对程序设计的深远影响远远不是任何
词汇表所能表达的。这次图灵奖认可的珍贵才能是Dijkstra的风格:他把程序设计作为一
项高级的智力挑战;他雄辩地坚持并且应用性地示范了程序应该正确地编写而不是通过调
错达到正确;他对程序设计根本问题目光如炬的洞察。他已经发表了大约一打的论文,都
颇具技术性并且深思熟虑。其中特别值得一提的是他在IFIP(国际信息处理联合会)上哲理
性的论辩,他的业已成经典的在 cooperating sequential processes 上的论文, 他令人
难忘的关于go-to语句的控辩。Dijkstra的一系列影响深远的书信目前浮出水面,成为编程
艺术方面完美无缺的专著。我们开始象评价好的文献一样评价好的程序。这个运动创造着
沉思着同样完美同样有用的程序模式。在其中心,屹立着 E.W.Dijkstra。
--
<<社会契约论>>是一本好书,应当多读几遍
风味的肘子味道不错,我还想再吃它
※ 来源:·哈工大紫丁香 bbs.hit.edu.cn·[FROM: 202.118.230.220]
Powered by KBS BBS 2.0 (http://dev.kcn.cn)
页面执行时间:2.563毫秒