Difference between revisions of "Abstract Interpretation"
Jump to navigation
Jump to search
{{#ev:youtube|https://www.youtube.com/watch?v=vHHBptK2RUo%7C%7C%7C%7C%7C}}
| Line 3: | Line 3: | ||
=The latest development in Abstract Interpretation, <math>A^2 I</math>= | =The latest development in Abstract Interpretation, <math>A^2 I</math>= | ||
{{#ev:youtube|https://www.youtube.com/watch?v=vHHBptK2RUo|||||}} | <center>{{#ev:youtube|https://www.youtube.com/watch?v=vHHBptK2RUo|||||}}</center> | ||
=References= | =References= | ||
Revision as of 06:43, 16 May 2021
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,
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/