Category:エドガー・ダイクストラ
プリム法
Prim's algorithm
Goto文
Goto
食事する哲学者の問題
Dining philosophers problem
ソフトウェア危機
Software crisis並行性
Concurrency (computer science)
Guarded Command Language
Guarded Command Language
関心の分離
Separation of concerns
THEマルチプログラミングシステム
THE multiprogramming system
述語変換意味論
Predicate transformer semantics
居眠り床屋問題
Sleeping barber problem
銀行家のアルゴリズム
Banker's algorithm
デッカーのアルゴリズム
Dekker's algorithm
操車場アルゴリズム
Shunting yard algorithm
エドガー・ダイクストラ
Edsger W. Dijkstra
並行計算
Concurrent computing
排他制御
Mutual exclusionデッドロック
Deadlock (computer science)
ダイクストラ法
Dijkstra's algorithm
