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