Similar to Guarded_Command_Language
不変条件
Invariant (computer science)
プログラム意味論
Semantics (computer science)
プログラミングの統一理論
Unifying Theories of Programming
プロセス計算
Process calculus
ペトリネット
Petri net
ホーア論理
Hoare logic
Mizar
Mizar system
文字列書き換え系
Semi-Thue system
モデル検査
Model checking
モンデックスカード
Mondex
有限オートマトン
Finite-state machineラムダ計算
Lambda calculus
ループ不変条件
Loop invariantセーフティクリティカルシステム
Safety-critical system
エドガー・ダイクストラ
Edsger W. Dijkstra
Goto文
Goto
THEマルチプログラミングシステム
THE multiprogramming system
居眠り床屋問題
Sleeping barber problem
関心の分離
Separation of concerns
銀行家のアルゴリズム
Banker's algorithm
食事する哲学者の問題
Dining philosophers problem
操車場アルゴリズム
Shunting yard algorithm
ソフトウェア危機
Software crisis
ダイクストラ法
Dijkstra's algorithm
デッカーのアルゴリズム
Dekker's algorithmデッドロック
Deadlock (computer science)
排他制御
Mutual exclusion
プリム法
Prim's algorithm
