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=j2m5YMnHvQQ%7C%7C%7C%7C%7C}}
{{#ev:youtube|https://www.youtube.com/watch?v=FTcIE7uzehE&list=PLRkQ9YeNuZSqNYa7dE_Rel-sw5bIfRSsm%7C%7C%7C%7C%7C}}
{{#ev:youtube|https://www.youtube.com/watch?v=-CTNS2D-kbY%7C%7C%7C%7C%7C}}
| Line 27: | Line 27: | ||
=Related Pages= | =Related Pages= | ||
{{#ask: | {{#ask: | ||
[[Category:{{ | [[Category:{{PAGENAME}}]] | ||
[[Category:Semantics]] | [[Category:Semantics]] | ||
[[Category:Data Science]] | [[Category:Data Science]] | ||
Revision as of 04:40, 4 January 2022
Abstract interpretation is a computational technique to analyze Soundness, Precision, and Terminability of system specifications. 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
{{#ev:youtube |zCrnMvJgeUk }}
References
- ↑ Cousot, Patrick; Cousot, Radhia (1977). Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints (PDF). 4th POPL. local page: ACM Press. p. 238-252.
- ↑ https://www.di.ens.fr/~cousot/AI/
- ↑ http://web.mit.edu/afs/athena.mit.edu/course/16/16.399/www/
Related Pages
Abstract Interpretation, Book/Galois Connections and Applications, Book/Principles of Abstract Interpretation, Paper/Abstract Interpretation