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