Abstract Interpreter Explorer
Step through abstract execution under Sign, Constant, and Interval domains. Select a program, pick a domain, then use the tabs to explore lattices, step through execution, or compare all domains side-by-side.
Simple AssignmentAll three domains agree on a simple linear program — the best case for abstract interpretation.
Source Code
Loading editor...
Sign Domain
5-element flat lattice: Bot < {Neg, Zero, Pos} < Top. Captures the sign of integers. Finite height guarantees termination without widening.
Height: 3 (finite)
Width: 3
Widening: Not needed
Hasse Diagram
Click two elements to compute join (least upper bound) and meet (greatest lower bound)
Click an element in the diagram above
Source Code
Loading editor...
Sign Domain
5-element flat lattice: Bot < {Neg, Zero, Pos} < Top. Captures the sign of integers. Finite height guarantees termination without widening.
Height: 3 (finite)
Width: 3
Widening: Not needed
Hasse Diagram
Click two elements to compute join (least upper bound) and meet (greatest lower bound)
Click an element in the diagram above