Similar to 抽象解釈

Finite-state machine

Unification (computer science)

Lambda calculus

Loop invariant

Logic programming