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