Section: Scientific Foundations
Advanced Introductions to Abstract Interpretation
The informal presentation “Abstract Interpretation in a Nutshell ” aims at providing a short intuitive introduction to the theory. A more comprehensive introduction to abstract interpretation is available online (http://www.di.ens.fr/~cousot/AI/ ). The paper entitled “Basic concepts of abstract interpretation ”  and an elementary “course on abstract interpretation ”(http://web.mit.edu/afs/athena.mit.edu/course/16/16.399/www/ ) can also be found on the web.