Similar to ユニフィケーション
節標準形
双模倣性
Bisimulation
抽象解釈
Abstract interpretation
チューリングマシン
Turing machine
表明 (プログラミング)
Assertion (software development)
ビリヤードボール・コンピュータ
Billiard-ball computer
不動点コンビネータ
Fixed-point combinator
不変条件
Invariant (computer science)
プログラム意味論
Semantics (computer science)
プログラミングの統一理論
Unifying Theories of Programming
プロセス計算
Process calculus
ペトリネット
Petri net
文字列書き換え系
Semi-Thue system
モデル検査
Model checking
モンデックスカード
Mondex
有限オートマトン
Finite-state machineラムダ計算
Lambda calculus▼-1 trends
ループ不変条件
Loop invariantセーフティクリティカルシステム
Safety-critical system