1977年ACM A・M・チューリング賞

受賞理由

特にFORTRANの研究によって行われた、実用的な高水準プログラミングシステムの設計への深く影響力のある恒久的貢献、およびプログラミング言語仕様の形式的手法に関する画期的な出版に対して。

受賞者

ジョン・バッカス
ジョン・バッカス