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