Section: Scientific Foundations
Advanced Introductions to Abstract Interpretation
A short, informal, and intuitive introduction to the theory of abstract interpretation can be found in [37] , see also “Abstract Interpretation in a Nutshell ” (http://www.di.ens.fr/~cousot/AI/IntroAbsInt.html ) on the web. A more comprehensive introduction is available online (http://www.di.ens.fr/~cousot/AI/ ). The paper entitled “Basic concepts of abstract interpretation ” [38] 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.