John Backus

賞

1. 1977

   チューリング賞

   情報科学

   for profound, influential, and lasting contributions to the design of practical high-level programming systems, notably through his work on FORTRAN, and for seminal publication of formal procedures for the specification of programming languages