EN FR
EN FR




Bilateral Contracts and Grants with Industry
Bibliography




Bilateral Contracts and Grants with Industry
Bibliography


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.