1977年图灵奖与编程语言范式革新研究.pdfVIP

表格{边框‑合并:合并;}表格,th,td{边框:1px实线#000;}

1977年ACM于10月17日在西雅图举行的ACM年度会议上授予约翰·巴克斯。颁奖

让·E·萨梅特在介绍获奖者时了以下评论并宣读了部分最终引文。完整公

告刊登于1977年9月《通讯》期刊第681页。

“在座各位恐怕没有人没听Fortran，大多数人至少使用过它一次，或至少旁观过他

人编写Fortran程序。听BNF这三个字母但未必知其含义的人可能也不在少数。事

实上，B代表Backus（巴克斯），其余字母的含义将在正式引文中说明。在我看来，这

两项贡献位列计算机领域最重要的六大技术贡献之中，且均出自约翰·巴克斯之手（其中

Fortran的研发还涉及多位同事）。正是基于这些贡献，他荣获本年度的。

其获奖理由的简略表述为：‘对实用高级编程系统设计做出深刻、影响深远且持久的贡献，

特别是通过他在Fortran语言方面的工作，以及关于编程语言规范形式化程序的开创性物。’

整理由中最重要的部分如下：

完获奖

...20世纪50年代初，巴克斯在纽约了一个小型团队。该团队最早的研