ジョン・バーンズ（コンピューター科学者）

ジョン・ギルバート・プレスリー・バーンズは、プログラミング言語Adaの開発と普及に尽力したことで最もよく知られているイギリスのコンピュータ科学者です。^[1]彼は Ada Rendezvous メカニズムの主たる発明者であり提唱者です。^[要出典]

バーンズはケンブリッジ大学で数学を学び、後にインペリアル・ケミカル・インダストリーズ（ICI）で働いた。 1970年代後半から1980年代前半にかけて、おそらくトニー・ホーア教授の勧めで、オックスフォード大学ウルフソン・カレッジの産業研究員を務めた。

Ada 設計チームで働く前、ICI 在籍中に、リアルタイム コンピューティング用のReal-Time Language 2 ( RTL/2 )という ALGOL言語の方言を設計し、実装しました。

バーンズは2006年にヨーク大学から名誉博士号を授与された。

• バーンズ、JGP（1976年10月）。RTL /2：デザインと哲学。ロンドン：ヘイドン。ISBN 978-0855012243。
• バーンズ、ジョン、ブロスゴール、ベン（ 1995年 1 月）。Ada 95 Rationale: 言語、標準ライブラリ。ベルリン、ニューヨーク：Springer。ISBN 3-540-63143-7。
• バーンズ、ジョン (1998 年 6 月 10 日)。『Ada 95 でのプログラミング(第 2 版)』。Addison- Wesley。ISBN 0-201-34293-6。
• バーンズ、ジョン（1997年6月15日）。高整合性エイダ：SPARKアプローチ。アディソン・ウェスレー。ISBN 0-201-17517-7. 2005年4月5日時点のオリジナルよりアーカイブ。2005年11月17日閲覧。
• バーンズ、ジョン（2003年4月25日）。高信頼性ソフトウェア：安全性とセキュリティへのSPARKアプローチ。Addison- Wesley。ISBN 0-321-13616-0. 2005年12月27日時点のオリジナルよりアーカイブ。2005年11月17日閲覧。
• バーンズ、ジョン（2006年6月30日）。プログラミング in Ada 2005。Addison Wesley。ISBN 0-321-34078-7。
• バーンズ、ジョン（2014年8月11日）。プログラミング in Ada 2012。ケンブリッジ大学出版局。ISBN 978-1107424814。
• バーンズ、ジョン（2022年5月19日）。Ada 2012でのプログラミングとAda 2022のプレビュー。ケンブリッジ大学出版局。ISBN 978-1009181341。