Category:形式手法
述語変換意味論
Predicate transformer semantics
詳細化
Refinement (computing)
合流性
Confluence (abstract rewriting)
ビリヤードボール・コンピュータ
Billiard-ball computer
制約論理プログラミング
Constraint logic programming
ループ不変条件
Loop invariant
節標準形
DPLLアルゴリズム
DPLL algorithm
形式的検証
Formal verification
CICS
CICS
並行制約プログラミング
Concurrent constraint logic programming
Mizar
Mizar system
仕様記述言語
Specification language
プロセス計算
Process calculus
並行論理プログラミング
Concurrent logic programming
有限オートマトン
Finite-state machine
自動推論
Automated reasoning
Z言語
Z notation
抽象解釈
Abstract interpretation
時相論理
Temporal logic
導出原理
Resolution (logic)
自動定理証明
Automated theorem proving
論理プログラミング
Logic programming
プログラム意味論
Semantics (computer science)ラムダ計算
Lambda calculus
ペトリネット
Petri net
不動点コンビネータ
Fixed-point combinator
ホーア論理
Hoare logic