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▼-1 trends
操車場アルゴリズム
Shunting yard algorithm
ソフトウェア危機
Software crisis
ダイクストラ法
Dijkstra's algorithm
デッカーのアルゴリズム
Dekker's algorithmデッドロック
Deadlock (computer science)
排他制御
Mutual exclusion
プリム法
Prim's algorithm
