He received the National Medal of Science in 1975 and the 1977 ACM Turing Award "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".
V roce 1975 obdržel Národní medaili za vědu (National Medal of Science) a v roce 1977 Turingovu cenu (ACM Turing Award) "za hluboký, významný, a trvalý přínos pro návrhu účelných vyšších programovacích systémů, zejména pak skrze práci na Fortranu, a za vysoce významnou publikaci formálních procedur pro specifikaci programovacích jazyků".