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}}
{{#ev:youtube|https://www.youtube.com/watch?v=1Cj6GcUFAR0%7C%7C%7C%7C%7C}}
{{#ev:youtube|https://www.youtube.com/watch?v=FTcIE7uzehE&list=PLRkQ9YeNuZSqNYa7dE_Rel-sw5bIfRSsm%7C%7C%7C%7C%7C}}
| Line 8: | Line 8: | ||
<center>{{#ev:youtube|https://www.youtube.com/watch?v=1Cj6GcUFAR0|||||}}</center> | <center>{{#ev:youtube|https://www.youtube.com/watch?v=1Cj6GcUFAR0|||||}}</center> | ||
=Courses that introduces Abstract Interpretation= | |||
<center>{{#ev:youtube|https://www.youtube.com/watch?v=FTcIE7uzehE&list=PLRkQ9YeNuZSqNYa7dE_Rel-sw5bIfRSsm|||||}}</center> | |||
=References= | =References= | ||
Revision as of 06:46, 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]
Contents
The latest development in Abstract Interpretation,
Concerto: A Framework for Combined Concrete and Abstract Interpretation
Courses that introduces 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/