|
gptkbp:TuringAwardYear
|
1977
For profound, influential, and lasting contributions to the design of practical high-level programming systems, notably through his work on FORTRAN, and for publication of formal procedures for the specification of programming languages.
|