Lecture 06: Putting everything together for Abstract Interpretation
Continuing Exercise 05
Collecting Semantics for Example Program
Variable Range Analysis for Example Program
Abstract Interpretation Recipe
Termination of Abstract Interpretation
Two more examples: Sign Analysis and Constant Propagation
Remember Products of Lattices
Comparing Fixpoints of Sequences
Intuition for Parallel and Iterative Updates
Continued in Exercise 06