Team abstraction

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

Section: Scientific Foundations

Advanced Introductions to Abstract Interpretation

A recent, short, informal, and intuitive introduction to the theory of abstract interpretation can be found in [32] , 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[50] 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.


previous
next

Logo Inria