Category:形式手法
ラムダ計算
Lambda calculus
CICS
CICS
ペトリネット
Petri net
形式体系
Formal system
文字列書き換え系
Semi-Thue system
双模倣性
Bisimulation
形式等価判定
Formal equivalence checking
並行制約プログラミング
Concurrent constraint logic programming
PlusCal
PlusCal構成規則
Formation rule項書き換え
Rewriting/cdn.vox-cdn.com/uploads/chorus_image/image/46397844/B_B_Open.0.0.JPG)
B-Method
B-Method
Planner
Planner (programming language)
プログラミングの統一理論
Unifying Theories of ProgrammingCommunicating Sequential Processes
Communicating sequential processesGuarded Command Language
Guarded Command Language
Lustre (プログラミング言語)
Lustre (programming language)TLA+
TLA+
ギルモアのアルゴリズム
表明 (プログラミング)
Assertion (software development)
ビリヤードボール・コンピュータ
Billiard-ball computer
自己認識論理
Autoepistemic logic
デービス・パトナムのアルゴリズム
Davis–Putnam algorithm
詳細化
Refinement (computing)
自動推論
Automated reasoning
不変条件
Invariant (computer science)
並行論理プログラミング
Concurrent logic programming
合流性
Confluence (abstract rewriting)