Similar to Guarded_Command_Language
Guarded Command Language
Guarded Command Language
論理プログラミング
Logic programming
自己認識論理
Autoepistemic logic
制約論理プログラミング
Constraint logic programming
並行制約プログラミング
Concurrent constraint logic programming
並行論理プログラミング
Concurrent logic programming
ユニフィケーション
Unification (computer science)
述語変換意味論
Predicate transformer semantics
イェール射撃問題
Yale shooting problem
帰納プログラミング
Inductive programming
失敗による否定
Negation as failure
フレーム問題
Frame problem
プロダクションシステム
Production system (computer science)閉世界仮説
Closed-world assumption
仕様及び記述言語
Specification and Description Language
形式手法
Formal methods/cdn.vox-cdn.com/uploads/chorus_image/image/46397844/B_B_Open.0.0.JPG)
B-Method
B-Method
CICS
CICSCommunicating Sequential Processes
Communicating sequential processes
DPLLアルゴリズム
DPLL algorithm
Lustre (プログラミング言語)
Lustre (programming language)
Planner
Planner (programming language)PlusCal
PlusCalTLA+
TLA+
VDM
Vienna Development Method
概念実証
Proof of concept
型付きラムダ計算
Typed lambda calculus
ギルモアのアルゴリズム