ジム・ホーニング

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

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

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

Horning の関心分野には、プログラミング言語、プログラミング方法論、仕様、形式手法、デジタル著作権管理、コンピュータ/ネットワーク セキュリティなどがありました。主な貢献は、 John Guttag ( MIT )らと共同で行った形式仕様へのLarchアプローチへの関与でした。

• コンパイラジェネレーター（ウィリアム・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。

Wikiquote にジム・ホーニングに関する引用があります。

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