图灵奖:约翰·巴克斯(1977)

文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。

图灵奖是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称,”图灵奖”系列将介绍历届获奖者。每周二更新,本文为第 15 期。图灵奖:约翰·巴克斯(1977)

本文来自 wiki:John Backus,翻译基于 腾讯交互翻译.

John Backus

约翰·华纳·巴克斯(英语:John Warner Backus,1924 年 12 月 3 日-2007 年 3 月 17 日),美国计算机科学家。他领导的团队发明并实现了 FORTRAN,这是第一种广泛使用的高级编程语言。他也是巴科斯范式(BNF)的提出者,这是一种广泛使用的、用来定义形式语言语法的记号法。

他于 1977 年获得图灵奖。

其图灵奖颁奖词为“对实用高级编程系统设计的深刻、有影响和持久的贡献,特别是通过他在 FORTRAN 方面的工作,以及对编程语言规范化的开创性出版物”。(For profound, influential, and lasting contributions to the design of practical high-level programming systems, notably through his work on FORTRAN, and for seminal publication of formal procedures for the specification of programming languages.)

生平

巴克斯 1924 年 12 月 3 日出生于美国宾夕法尼亚州费城。

他曾就读于宾夕法尼亚州波茨敦的希尔学校,但他显然不是一个勤奋的学生。

而后他进入弗吉尼亚大学学习化学,但在那里的学业进行的很艰难,不到一年就因出勤率低而被开除。

随后,他在第二次世界大战期间被征召入伍,并最终获得下士军衔,负责指挥驻扎在佐治亚州斯图尔特堡的防空炮台。

在军事能力测试中获得高分后,陆军派他去匹兹堡大学学习工程学。他后来转到哈弗福德学院的医学预科课程。在医院实习期间,他被诊断出患有颅骨肿瘤,成功切除后还在头部安装了钢板。

在这个过程中,他对数学产生极大兴趣,于是去往哥伦比亚大学学习,并于 1949 年由数学专业获得硕士学位。

1950 年,他加入 IBM,并开始了漫长的工作生涯。

1957 年 4 月他所领导 13 人小组推出全世界第一套高阶电脑语言 FORTRAN,并首次在 IBM 704 计算机上面使用。

1977 年 10 月 17 日在西雅图举行的 ACM 年会上,他获得图灵奖。会中,他发表了“程序设计能从冯诺伊曼形式中解脱出来吗?函数式风格及其程序的代数”(Can Programming be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs)演讲,提出了叫做 FP 的函数级编程语言。

他于 1991 年退休,并于 2007 年 3 月 17 日在俄勒冈州阿什兰的家中去世。

贡献

  • Fortran
  • Backus–Naur form,BNF
  • Function-level programming

~~

都看到这儿了,不如关注每日推送的“科文路”、互动起来~

至少点个赞再走吧~

觉得还不错?可以在公众号菜单栏找到“赞赏”入口~

图灵奖:约翰·巴克斯(1977)

https://xlindo.com/kewenlu/posts/bf7cc272/

Author

xlindo

Posted on

2023-06-20

Updated on

2023-06-20

Licensed under

Comments