Introduction to abstract interpretation (fourth lecture)

application to static program analysis. The goal is not to give an
exhaustive view of abstract interpretation, but to give enough
background to make papers on abstract interpretation more understandable.

In this third lecture, we are going to focus on the analysis of loops.

Overview of the course (4 to 5 lectures):
1) Motivation and intuition
2) A simple language, syntax, semantics
3) Approximation; Galois connections and their properties
4) Combinations of abstractions
5) Analysis of loops
6) Survey of abstract domains, abstract interpretation frameworks,
abstract interpretation as a thinking tool (with references to papers)