Category:形式手法
ラムダ計算
Lambda calculusCICS
CICSペトリネット
Petri net不動点コンビネータ
Fixed-point combinator形式体系
Formal system双模倣性
Bisimulation文字列書き換え系
Semi-Thue system形式等価判定
Formal equivalence checking並行制約プログラミング
Concurrent constraint logic programming項書き換え
RewritingPlusCal
PlusCal構成規則
Formation rulePlanner
Planner (programming language)プログラミングの統一理論
Unifying Theories of ProgrammingB-Method
B-MethodCommunicating Sequential Processes
Communicating sequential processesGuarded Command Language
Guarded Command LanguageLustre (プログラミング言語)
Lustre (programming language)TLA+
TLA+ギルモアのアルゴリズム
表明 (プログラミング)
Assertion (software development)不変条件
Invariant (computer science)ビリヤードボール・コンピュータ
Billiard-ball computer自己認識論理
Autoepistemic logic詳細化
Refinement (computing)合流性
Confluence (abstract rewriting)並行論理プログラミング
Concurrent logic programming制約論理プログラミング
Constraint logic programming