ジム・ホーニング

ジェームズ・ジェイ・ホーニング（1942年8月24日 - 2013年1月18日）は、アメリカのコンピュータ科学者であり、ACMフェローであった。^{[ 1 ]}

ジム・ホーニングは、 1969年にスタンフォード大学で「文法推論の研究」という論文でコンピュータサイエンスの博士号を取得しました。彼は、1969年から1977年まで、カナダのトロント大学のコンピュータシステム研究グループの創設メンバーであり、後に会長を務めました。彼はそこでプログラミング言語Euclidの設計に協力しました。^{[ 2 ]}その後、 1977年から1984年までゼロックス・パロアルト研究所（PARC）の研究員、1984年から1996年までDECシステムズ研究センター（DEC/SRC）の創設メンバー兼シニアコンサルタントを務めました。1997年から2001年まで、インタートラスト・テクノロジーズ社のSTARラボの創設者兼ディレクターを務めました。^{[ 3 ]}

ピーター・G・ニューマンは2013年1月22日、 RISKS Digest第27巻第14号で、ホーニングが2013年1月18日にカリフォルニア州パロアルトで亡くなったと報告した^{[ 4 ] / [ 2 ]。}

ホーニングの関心分野は、プログラミング言語、プログラミング手法、仕様記述、形式手法、デジタル著作権管理、コンピュータ／ネットワークセキュリティなど多岐に渡る。彼の大きな貢献の一つは、ジョン・ガッタッグ（MIT）らと共に形式仕様記述のラーチ・アプローチに関わったことである。

• コンパイラジェネレータ（ウィリアム・M・マッキーマン、DB・ウォートマン共著）、プレンティス・ホール（1970年）。ISBN 0-13-155077-2。
• Garland, SJ; Jones, KD; Modet, A.; Wing, JM (1993). Guttag, JV ; Horning, JJ (編). Larch: 形式仕様記述のための言語とツール. Springer-Verlag . doi : 10.1007/978-1-4612-2704-5 . ISBN 978-1-4612-7636-4. S2CID 13066418 . 
• デニング、P .ホーニング、J .パルナス、Ｄ．ワインスタイン、L. (2005 年 12 月)。 「ウィキペディアのリスク」。ACM の通信。48 (12): 152.土井: 10.1145/1101779.1101804。S2CID 20322967。 
• Horning, J.; Neumann, PG (2008年6月)「インフラストラクチャを軽視するリスク」Communications of the ACM . 51 (6): 112. doi : 10.1145/1349026.1349047 . S2CID 32720694 . 

• ホームページ（2005年9月29日にアーカイブ済み）
• 履歴書（2005年3月5日にアーカイブ済み）