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 ” [79] 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.