Abstract interpretation is a rigorous methodology to compute approximation. The founders of this methodology are Patrick and Radhia Cousot, whose seminal paper on this subject can be found here^[1]. Patrick Cousot also has a short explanation on Abstract Interpretation on a web page Abstract Interpretation in a Nutshell. A more elaborate website on this subject can be found on a website ^[2] maintained by Patrick Cousot. A course outline is available here:^[3]

The latest development in Abstract Interpretation, $A^{2}I$

{{#ev:youtube|https://www.youtube.com/watch?v=vHHBptK2RUo%7C%7C%7C%7C%7C}}

Concerto: A Framework for Combined Concrete and Abstract Interpretation

{{#ev:youtube|https://www.youtube.com/watch?v=1Cj6GcUFAR0%7C%7C%7C%7C%7C}}

References

↑ P. Cousot & R. Cousot. - Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In : 4th POPL, Los Angeles, CA, 1977. pp. 238-252. - ACM Press.
↑ https://www.di.ens.fr/~cousot/AI/
↑ http://web.mit.edu/afs/athena.mit.edu/course/16/16.399/www/

[1] P. Cousot & R. Cousot. - Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In : 4th POPL, Los Angeles, CA, 1977. pp. 238-252. - ACM Press.

[2] ttps://www.di.ens.fr/~cousot/AI/

[3] ttp://web.mit.edu/afs/athena.mit.edu/course/16/16.399/www/

[1]

[2]

[3]

Abstract Interpretation

The latest development in Abstract Interpretation, A 2 I {\displaystyle A^{2}I}

Concerto: A Framework for Combined Concrete and Abstract Interpretation

References

Navigation menu

Search

The latest development in Abstract Interpretation, $A^{2}I$