《编译原理》作者获得2020图灵奖【龙书】

不二如是

2020 年 03 月 31 日，ACM 官网宣布 2020 年图灵奖信息：


传送门

此次奖项授予给哥伦比亚大学计算机科学名誉教授 Alfred Vaino Aho 和斯坦福大学计算机科学名誉教授 Jeffrey David Ullman 。

他们获奖理由：

ACM named Alfred Vaino Aho and Jeffrey David Ullman recipients of the 2020 ACM A.M. Turing Award for fundamental algorithms and theory underlying programming language implementation and for synthesizing these results and those of others in their highly influential books, which educated generations of computer scientists.

翻译：

游客，如果您要查看本帖隐藏内容请回复

神书就是著名“龙书”《编译原理》：



计算机软件几乎为我们所接触的每一项技术提供了动力。

实际上，运行在我们这个世界上的每一个程序——从我们的手机或汽车上的程序，到运行在大型网络公司内的巨型服务器群上的程序——都是由人类用高级编程语言编写的，然后编译成低级代码执行。

为现代编程语言进行这种翻译的大部分技术都要归功于 Aho 和 Ullman。

在 1967 年到 1969 年期间，Aho 和 Ullman 都在贝尔实验室工作，并在当时开发了用于分析和翻译编程语言的高效算法。

后来，尽管在不同的机构工作，但两人还是继续保持合作了几十年，共同撰写了书籍和论文。

并为算法、编程语言、编译器和软件系统引入了新技术。


经典著作

Aho 和 Ullman 共同撰写了九本有广泛影响力的书（包括第一版和后续版本）。

其中最著名的两本书为：《计算机算法的设计与分析》和《编译程序设计原理》。

《计算机算法的设计与分析》被认为是该领域的经典之作，是十多年来计算机科学研究中被引用最多的书籍之一。

在计算机科学还是一个新兴领域的时候，它就成为了全世界算法课程的标准教材。

此书除了融入了作者自己对算法的研究贡献外，还探讨了如何用随机存取存储器 (RAM) 作为基本模型，分析递归关系算法的时间和空间复杂性。

RAM 模型还将不同的单个算法编成了通用的设计方法。

本书介绍的 RAM 模型和一般算法设计技术现在已经成为标准计算机科学课程的一个组成部分。

《编译程序设计原理》一书将形式语言理论和语法制导翻译技术融入到编译器设计过程中。

由于其封面设计，该书常被称为"龙书"，它清晰地阐述了将高级编程语言转换成机器代码的各个阶段，将整个编译器构建模块化。

书中还包括了作者对词法分析技术、语法分析技术和代码生成技术的算法贡献等内容。

本书最新版本为《编译器：原理、技术和工具》于 2007 年出版（与 Ravi Sethi 和 Monica Lam 合著），至今仍是编译器设计的标准教科书。

美国 ACM 加布里埃尔·科特西斯解释说：

计算机编程的实践和日益先进的软件系统的发展支撑了我们在过去 50 年里社会经历的几乎所有的技术变革……
虽然无数的研究人员和实践者为这些技术做出了贡献，但 Aho 和 Ullman 的工作尤其具有影响力。他们帮助我们理解算法的理论基础，并为编译器和编程语言设计的研究和实践绘制课程。自 20 世纪 70 年代初以来，Aho 和 Ullman 一直被认为是领导者，他们的工作一直指导着一代又一代的程序员和研究人员，直到今日。

谷歌高级研究员和谷歌 AI 高级副总裁 Jeff Dean 评价说：

Aho 和 Ullman 建立了关于算法、形式语言、编译器和数据库的基本思想，这对当今编程和软件领域的发展至关重要。
……他们也说明了这些不同的学科是如何紧密相连的。Aho 和 Ullman 介绍了关键的技术概念，包括关键的特定算法。就计算机科学教育而言，他们的教科书一直是培训学生、研究人员和从业者的黄金标准。

关于图灵奖

图灵奖由美国计算机协会（ACM）于 1966 年设立，专门奖励那些对计算机事业作出重要贡献的个人。

其名称取自计算机科学的先驱、英国科学家艾伦·麦席森·图灵（Alan M. Turing）。

由于图灵奖对获奖条件要求极高，评奖程序又是极严，一般每年只奖励一名计算机科学家。

只有极少数年度有两名合作者或在同一方向作出贡献的科学家共享此奖。

因此它是计算机界最负盛名、最崇高的一个奖项，有“计算机界的诺贝尔奖”之称。

ACM 约在每年三四月份评出上一年的图灵奖。

图灵奖初期奖金为 20 万美元，1989 年起增到 25 万美元，奖金通常由计算机界的一些大企业提供（通过与 ACM 签订协议）。

目前图灵奖由 Google 公司赞助，奖金为 100 万美元。

---

如果喜欢，别忘了评分 ：

                               
登录/注册后可看大图

小伤口

感谢两位大佬对程序语言实现的基础性算法和理论的贡献。
致敬

yayc_zcyd

感谢两位大佬对程序语言实现的基础性算法和理论的贡献。

落花盈满绣！

感谢两位大佬对程序语言实现的基础性算法和理论的贡献。

hornwong

感谢两位大佬对程序语言实现的基础性算法和理论的贡献。

柿子饼同学

不二，这书适合新手看嘛

昨非

感谢两位大佬对程序语言实现的基础性算法和理论的贡献。

19924269098

感谢两位大佬对程序语言实现的基础性算法和理论的贡献。

crisfo

感谢两位大佬对程序语言实现的基础性算法和理论的贡献。

学抓蟒蛇

感谢两位大佬对程序语言实现的基础性算法和理论的贡献。

bool想学C

感谢两位大佬对程序语言实现的基础性算法和理论的贡献。
真的好帅！

松冈有沙

感谢两位大佬对程序语言实现的基础性算法和理论的贡献。

3553107168

感谢两位大佬对程序语言实现的基础性算法和理论的贡献。

3102515355

感谢两位大佬对程序语言实现的基础性算法和理论的贡献。

1073551873

感谢两位大佬对程序语言实现的基础性算法和理论的贡献。

1908496509

感谢两位大佬对程序语言实现的基础性算法和理论的贡献。

3553107168

感谢两位大佬对程序语言实现的基础性算法和理论的贡献。

3102515355

感谢两位大佬对程序语言实现的基础性算法和理论的贡献。

Minecraft程序猿