ACM A.M. Turing Award
United Kingdom – 1980
READ FULL CITATION AND ESSAY
CITATION
For his fundamental contributions to the definition and design of programming languages.

CITATION

Proof of correctness of data representations, Acta Informatica, 1, 4 (December 1972)