This is an old revision of the document!
Lattices and Abstract Interpretation
Idea of Partial Orders and Approximation
Review of Fixpoints in Semantics
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