Category:形式手法の人物
ジョン・マッカーシー
John McCarthy (computer scientist)デイナ・スコット
Dana Scottカール・ヒューイット
Carl Hewitt
アミール・プヌーリ
Amir Pnueli
ロバート・フロイド
Robert W. Floyd
ロビン・ミルナー
Robin Milner
カール・アダム・ペトリ
Carl Adam Petri
アレン・エマーソン
E. Allen Emerson
クリストファー・ストレイチー
Christopher Strachey
ニクラウス・ヴィルト
Niklaus Wirth
バートランド・メイヤー
Bertrand Meyer
レスリー・ランポート
Leslie Lamport
ハーラン・ミルズ
Harlan Mills
デイビッド・パーナス
David Parnas
アントニー・ホーア
Tony Hoare
アロンゾ・チャーチ
Alonzo Church
オーレ＝ヨハン・ダール
Ole-Johan Dahl
エドガー・ダイクストラ
Edsger W. Dijkstra
ドナルド・クヌース
Donald Knuth
アラン・チューリング
Alan Turing▼-1 trends
