ACM A. M. Turing Award

1980

明确程序作出的承诺

语言与软件1980

插画肖像：托尼·霍尔

明确程序作出的承诺

规格和严谨设计把指令与含义联系起来。

浏览所有年份 ↗