图灵奖的起源_图灵奖和诺贝尔奖西蒙_图灵奖中国人(4)

1977年的图灵奖授予了世界上第一个高级程序设计语言FORTRAN和最广泛流行的元语言BNF的发明人约翰 · 巴克斯(JohnWarner Backus)。巴克斯1924年12月3日生于美国费城，青少年时代不爱学习，曾是纨绔子弟，被大学开除。1943年巴克斯参军入伍，当了一名下士。在此期间，巴克斯不经意地显露出他的聪明和才能，受到上级赏识，陆军决定送他上学深造。这样，当他的战友们都被送往二次大战战场上去的时候，巴克斯却上了哈弗福德学院的医学院预科。但巴克斯对医学不感兴趣，因此只学了9个月的医学就离开了那里，转到哥伦比亚大学学习数学。经过这番磨练，巴克斯已经从混沌走向清醒，开始正经学习。1949年他取得学。后来一个偶然的机会，他到IBM公司的计算中心参观，在那里见到了IBM早期的SSEC计算机。尽管SSEC体积庞大，比较原始，但看到现场的环境和气氛，立刻心里一亮：这正是他要找的工作！经考核通过后，巴克斯从此开始了在IBM公司的工作并做出了巨大贡献。

人们称巴克斯为“不知疲倦的发明家”。事实确实如此，进入IBM后，他就全身心地投入工作，从而奠定了他作为出色的程序员在公司的地位。当时的计算机还是用机器语言也就是二进制代码进行编程，存在工作效率低、难于检查和发现问题、不便于交流、软件开发费用高昂等问题。经过深思熟虑，巴克斯于1953年向IBM老板卡斯伯特·赫德提交了一分备忘录，建议设计一种接近人类语言的编程语言代替机器语言，赫德批准了巴克斯的计划。1957年4月，经过巴克斯和他的同事们的艰苦努力，FORTRAN的编译器第一次在西屋电气公司订购的704计算机上成功运行，标志着一个时代（机器语言编程时代）的结束，另一个时代（高级语言编程时代）的开始。作为世界上第一个高级程序设计语言，它对其后出现的上千种高级程序设计语言都有或大或小的影响。FORTRAN的工作成果融入了ALGOL58及随后的ALGOL 60等一系列版本。

基于开发FORTRAN的经验，巴克斯关注的重点由定义语言本身转向如何清晰地描述和表达语言这个问题上，也就是要创建一个“元语言”（meta-language）。经过不懈探索，巴克斯又提出了如今众所周知的“巴克斯范式”BNF(BackusNormal Form)。BNF由于其简洁、明了、科学而被广泛接受，成为描述各种程序设计语言的最常用的工具。

程序设计语言的发展过程，实际上是由一批大师驱动的。1978的图灵奖授予了美国科学家罗伯特 ·弗洛伊德，他是在程序正确性证明方面，提出前后断言法（pre- and post- assertionmethod）的创始人，并在算法、程序设计语言的逻辑定义、自动程序综合、自动程序验证、编译理论和实现等方面都作出了创造性的贡献。1979年的图灵奖授予了一位加拿大学者、时在IBM公司沃森研究中心工作的肯尼思·艾弗森。他是因为在开发交互式程序设计语言APL中作出开创性工作，从而为程序设计语言的理论和实践作出卓越贡献而获此殊荣的。1980年的图灵奖授予了英国牛津大学计算机科学家查尔斯·霍尔。他不仅提出了QUICKSORT、CASE，而且在程序设计语言的定义和设计、数据结构和算法、操作系统-----许多方面都起了重要作用。由霍尔和他的同事们设计与实现的ALGOL60 一个子集的版本 Elliott ALGOL 60，在效率、可靠性和方便性等方面都是首屈一指的。

在计算机的发展史上，大概没有哪个程序设计语言像C那样得到如此广泛地流行；也没有哪个操作系统像UNIX那样获得计算机厂家和用户普遍青睐和厚爱。它们对整个软件技术和软件产业都产生了深远的影响。而C和UNIX两者都是美国贝尔实验室的丹尼斯· 里奇（Dennis MacAlistair Ritchie）和肯尼斯 · 汤普森(Kenneth LaneThompson)设计、开发的，因此，他们在1983年共同获得图灵奖。1984年的图灵奖授予了瑞士学者和计算机科学家尼克劳斯 · 沃思(Niklaus Wirth)，由于他是结构化程序设计语言PASCAL之父及结构化程序设计的首创者，他提出的著名公式“数据结构 +算法 =程序”，广为人知。可以说，现代程序设计语言中常用的数据结构和控制结构绝大多数都是由PASCAL语言奠定基础的。在C语言问世以前，PASCAL是风靡全球、最受欢迎的语言之一。1971年沃斯发表的论文“通过逐步求精方式开发程序”(ProgramDevelopment by Stepwise Refinement )，首次提出了“结构化程序设计”( structuredprogramming)的概念。这个概念的要点是：不要求一步就编成可执行的程序，而是分若干步进行，逐步求精。第一步编出的程序抽象度最高，第二步编出的程序抽象度有所降低…，最后一步编出的程序即为可执行的程序。结构化程序设计方法又称为“自顶向下”或“逐步求精”法，在程序设计领域引发了一场革命，成为程序开发的一个标准方法，尤其在后来发展起来的软件工程中获得广泛应用。

本文来自电脑杂谈，转载请注明本文网址：
http://www.pc-fly.com/a/tongxinshuyu/article-41243-4.html