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