2005 · 语言与软件

精确描述一种语言

ALGOL 60 推动程序语言定义成为共同的学术工作。

彼得·瑙尔

2005图灵奖

视觉指南

奖项，化为图解

阅读图解文字

共同定义帮助语言跨越不同实现，成为可以共享研究的对象。

了解语法只是理解程序的一部分；含义和程序员头脑中的模型也很重要。

01 · 核心想法

彼得·诺尔在 ALGOL 60 报告中发挥了核心作用，并为语言设计和编译器构造作出贡献。精确的语法说明，让不同实现者能够约定哪些程序属于这种语言。他更广泛的工作还将编程视为人的活动，而不只是形式系统。

共同定义帮助语言跨越不同实现，成为可以共享研究的对象。

02 · 人物

彼得·瑙尔参与定义 ALGOL 60，并编辑了有影响力的语言报告，使精确语言描述成为编程的重要部分。他也研究编译器以及程序员实际如何开发软件。他最初接受天文学训练，后来在哥本哈根大学成为丹麦计算领域的重要人物。晚年的著述强调编程作为人的活动，并反思纯形式化的解释。

03 · 延伸阅读

本站原创讲解依据官方获奖记录。领域标签用于编辑导航。