This is an old revision of the document!
Lattices and Abstract Interpretation
Idea of Partial Orders and Approximation
Review of Fixpoints in Semantics
Tarski's Fixpoint Theorem for Complete Lattices
Invariant Inference by Approximation
Conjunctions of Predicates - example of finite lattice. two different orders
Constant Propagation - infinite lattice with finite ascending chain property
Converging in Infinite-Height Lattice - dropping conjuncts