ジョン・バッカス
1963年 - IBMフェロー
1967年 - W.W. McDowell Award
1975年 - アメリカ国家科学賞
1977年 - チューリング賞
1985年 - アメリカ芸術科学アカデミーのフェロー
1989年 - 名誉学位(アンリ・ポアンカレ大学(英語版))
1993年 - チャールズ・スターク・ドレイパー賞
1997年 - コンピュータ歴史博物館フェロー(コンピュータの殿堂)
2007年6月1日、小惑星 6830 にバッカスの名がつけられた(6830 Johnbackus)
チューリング賞の受賞理由は以下の通り:
特にFORTRANの研究によって行われた、実用的な高水準プログラミングシステムの設計への深く、影響力のある恒久的貢献に対して。そして、プログラミング言語の仕様記述の形式的手法についての強い影響力のある出版に対して。
(原文) 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.
また1959年、UNESCOレポートにおける ALGOL 58 の言語仕様記述のためバッカス・ナウア記法 (BNF) を考案。BNFは任意の文脈自由な形式言語の文法(形式文法)を記述でき、その後のプログラミング言語の開発に重要な役割を果たした。これらの貢献からチューリング賞を受賞した。
その後彼は「関数レベル」プログラミング言語(英語版) FP に取り組んだ。これはチューリング賞受賞の際の講演 "Can Programming be Liberated from the von Neumann Style?"(プログラミングはフォン・ノイマン的スタイルから解放されるか?)で述べられている。この論文は FORTRAN を生み出したことへのバッカスの謝罪と受け取られることもあり、彼の研究していた FP そのものよりも関数型プログラミング一般の研究を盛んにする結果となった。FPインタプリタは 4.2BSD 上に実装されている。FP はケネス・アイバーソンのAPLの影響を強く受けており、標準的でない文字も使っている。その後のバッカスは FP言語の後継の FL (Function Level) の開発に注力した。FL はIBM内部のプロジェクトであり、プロジェクト終了とともに言語の開発も終了し、論文もわずかしか発表されていない。しかし、この言語の革新的で重要なアイデアの数々はアイバーソンのJ言語に実装された。
バッカスは1963年にIBMフェローとなった。1993年にはチャールズ・スターク・ドレイパー賞を授与された。1991年から引退生活に入り、2007年3月17日、オレゴン州アシュランドで死去した。