约翰·巴克斯

约翰·巴克斯（John Warner Backus）（1924年12月3日-2007年3月17日），美国计算机科学家，被誉为高级编程语言之父。他是全世界第一套高阶语言FORTRAN的发明小组组长，并提出了BNF（用来定义形式语言语法的记号法）。巴克斯的贡献在于简化了编程过程，使得编程语言更接近人类语言。他的工作对函数式编程的理解和发展产生了深远影响。巴克斯获得了多项荣誉，包括1977年的图灵奖，并被选为美国国家科学院院士、美国国家工程院院士和美国艺术与科学院院士。

约翰·巴克斯，1924年12月3日生于美国宾夕法尼亚州费城，父亲是股票经纪人。巴克斯中学时念宾夕法尼亚州波茨敦市的希尔学校，成绩平平。他在维吉尼亚大学修读化学，但因出勤率不高而被开除。第二次世界大战期间，他参加了美国陆军，在乔治亚州斯图尔特堡指挥一个防空炮台，后来进入哈弗福德学院的医学院预科接受医疗训练，但九个月后退出。在此期间，他被诊断出患有脑部肿瘤，并接受手术治疗。退伍后，他转向数学领域，在哥伦比亚大学取得硕士学位，并于1950年加入IBM公司工作。在IBM，他和同事海尔里克一起开发了Speedcoding程序，适用于浮点数运算。

巴克斯在IBM公司工作期间，提出并领导开发了FORTRAN语言，极大地推动了编程语言的发展。他在IBM的职位从程序员到研究员，最终成为IBM Fellow。巴克斯还曾在加州大学圣克鲁斯分校和伯克利分校担任教授，并在IBM阿尔马登研究中心担任顾问。他的贡献被广泛认可，1974年当选为美国国家科学院院士，1977年获得图灵奖并当选为美国国家工程院院士，1985年当选为美国艺术与科学院院士，1997年当选为美国计算机历史博物馆fellow。2007年3月17日在美国俄勒冈州阿什兰去世，享年82岁。

约翰·巴克斯家境殷实，父亲是一位股票经纪人。

约翰·巴克斯在医学学习期间被诊断出患有颅骨肿瘤，并通过手术将其切除并用金属板代替，后来又更换了头上的钢板，那次是他自己做的手术。

约翰·巴克斯有过两段婚姻，第一次是和玛乔丽·贾米森，于1966年离婚，第二次是和芭芭拉·尤娜·斯坦纳德（2004年去世），于1968年离婚，他有两个孩子——凯伦和宝拉。

约翰·巴克斯退伍后在纽约市定居下来，但他对自己的未来犹豫不决。虽然他没有电子学方面的技能，但他进入了一所无线电技术学校学习如何制造无线电接收机。这项工作促使他学习数学，因此他参加了哥伦比亚大学的数学课程。1949年春天，就在他毕业之前，他碰巧经过麦迪逊大道上的IBM计算中心，IBM在那里有他们的选择性序列电子计算器（SSEC），这是一种由哥伦比亚大学沃森科学计算实验室设计的继电器和真空管计算机。他对导游说了一句他对计算机工作很感兴趣的话，就立刻被带到楼上去见SSEC的项目主管，并当场被聘为程序员。

约翰·巴克斯和他的团队开发的FORTRAN语言被广泛应用于科学计算领域，包括美国宇航局20世纪60年代的阿波罗登月任务。他提出的Backus-Naur形式（BNF）是编程语言形式化的一个重要里程碑。巴克斯还为函数式编程创造了一种新的语言FP，促进了该领域的研究。据2023年10月AMiner平台数据，巴克斯已发表学术论文9篇，论文被引6620次，H-Index为8。他对实用的高级编程系统的设计做出了深刻的、有影响力的和持久的贡献，被美国计算机历史博物馆评为对计算机系统理论和软件项目管理方面做出了重要贡献。2007年6月1日，小行星6830以约翰·巴克斯的名字命名。

Can programming be liberated from the von Neumann style?:a functional style and its algebra of programs.An introduction to the programming language FL.From Function Level Semantics to Program Transformation and Optimization.Function level programs as mathematical objects.The Algebra of Functional Programs:Function Level Reasoning,Linear Equations,and Extended Definitions.The History of FORTRAN I,II and III.Programming language semantics and closed applicative languages.Revised report on the algorithmic language ALGOL 60.

参考资料：^[1]

1942年-1946年，约翰·巴克斯担任美国军队防空炮兵连队、工程兵学校和军医学校成员。^[2]

1950年-1954年，约翰·巴克斯担任IBM公司纯科学和高级科学部门程序员。^[2]

1954年-1959年，约翰·巴克斯担任IBM公司编程研究部经理。^[2]

1959年-1963年，约翰·巴克斯担任IBM公司研究员工。^[2]

1963年-1991年，约翰·巴克斯担任IBM公司研究员。^[2]

1974年，约翰·巴克斯担任加州大学圣克鲁斯分校信息科学兼职教授。^[2]

1980年，约翰·巴克斯担任加州大学伯克利分校客座教授。^[2]

1985年，约翰·巴克斯担任加州大学伯克利分校访问教授。^[2]

- 编程范型: 多重范式：过程化、命令式、结构化、面向对象

- 发行时间: 1957

- 设计者: 约翰·巴科斯

- 实作者: 约翰·巴科斯 & IBM

- 型态系统: strong, static

- 主要实作产品: Absoft, GFortran, G95, Intel, Lahey/Fujitsu, Open Watcom, Pathscale, PGI, Silverfrost, SUN, XL Fortran, others

- 影响语言: ALGOL 58, PL/I

获奖时间荣誉表彰1963年IBM Fellow1967年IEEE计算机学会麦克道尔奖1974年美国国家科学院院士1975年美国国家科学奖章1977年图灵奖1977年美国国家工程院院士1985年美国艺术与科学院院士1993年美国国家工程院德雷珀奖

（约翰·巴克斯）对实用的高级编程系统的设计做出了深刻的、有影响力的和持久的贡献（For profound, influential, and lasting contributions to the design of practical high-level programming systems）。（1977年图灵奖评）

他（约翰·巴克斯）在计算机系统理论和软件项目管理方面做出了贡献。（约翰·巴克斯）对计算机科学做出了许多其他重要贡献（For his development of FORTRAN, and for contributions to computer systems theory and software project management.Backus made many other important contributions to computer science.）。（美国计算机历史博物馆评）