Labs 12: Chaotic Iteration. Widening and Narrowing
Variable Range Analysis for Example Program
- including exercises
Mapping Fixpoints under Lattice Morphisms
Abstract Interpretation Recipe
Termination of Abstract Interpretation
Continued with demonstration of some non-trivial analyses next week and Lecture 14 after that.