Suppr超能文献

[1952 - 1972年的编程风格]

[Styles of programming 1952-1972].

作者信息

van den Bogaard Adrienne

机构信息

Technische Universiteit Delft.

出版信息

Studium (Rotterdam). 2008;1(2):128-44.

Abstract

In the field of history of computing, the construction of the early computers has received much scholarly attention. However, these machines have not only been important because of their logical design and their engineering, but also because of the programming practices that emerged around these first machines. This article compares two styles of programming that developed around Dutch 'first computers'. The first style is represented by Edsger Wybe Dijkstra (1930-2002), who would receive the Turing Award for his work in 1972. Dijkstra developed a mathematical style of programming--a program was something you should be able to design mathematically and prove it logically. The second style is represented by Willem Louis van der Poel (born 1926). For him, programming is 'trickology'. A program is primarily a technical artefact that should work: a program is something you play with, comparable to the way one solves a puzzle.

摘要

在计算机历史领域,早期计算机的构造受到了众多学术关注。然而,这些机器之所以重要,不仅在于其逻辑设计和工程技术,还在于围绕这些首批机器所涌现出的编程实践。本文比较了围绕荷兰“首批计算机”发展起来的两种编程风格。第一种风格以艾兹格·维贝·迪科斯彻(1930 - 2002)为代表,他于1972年因其工作获得图灵奖。迪科斯彻发展了一种数学编程风格——程序是你应该能够进行数学设计并从逻辑上加以证明的东西。第二种风格以威廉·路易斯·范德普尔(生于1926年)为代表。对他而言,编程就是“技巧学”。程序主要是一件应能运行的技术制品:程序是你拿来把玩的东西,类似于解决谜题的方式。

文献检索

告别复杂PubMed语法,用中文像聊天一样搜索,搜遍4000万医学文献。AI智能推荐,让科研检索更轻松。

立即免费搜索

文件翻译

保留排版,准确专业,支持PDF/Word/PPT等文件格式,支持 12+语言互译。

免费翻译文档

深度研究

AI帮你快速写综述,25分钟生成高质量综述,智能提取关键信息,辅助科研写作。

立即免费体验