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 1: | Line 1: | ||
[[wikipedia:Abstract interpretation|Abstract interpretation]] is a computational technique to [[approximate truth]]. In other words, it is computationally-based [[epistemology]]. It analyzes [[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<ref>{{:Paper/Abstract Interpretation}}</ref>. Patrick Cousot also has a short explanation on Abstract Interpretation on a web page [https://www.di.ens.fr/~cousot/AI/IntroAbsInt.html Abstract Interpretation in a Nutshell]. A more elaborate website on this subject can be found on a website <ref>https://www.di.ens.fr/~cousot/AI/</ref> maintained by Patrick Cousot. A course outline is available here:<ref>http://web.mit.edu/afs/athena.mit.edu/course/16/16.399/www/</ref>. A textbook<ref>{{:Book/Principles of Abstract Interpretation}}</ref> by [[Patrick Cousot]] is also available. | [[wikipedia:Abstract interpretation|Abstract interpretation]] is a computational technique to [[approximate truth]]. In other words, it is computationally-based [[epistemology]]<ref>{{:Paper/Epistemic Horizons and the Foundations of Quantum Mechanics}}</ref>. It analyzes [[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<ref>{{:Paper/Abstract Interpretation}}</ref>. Patrick Cousot also has a short explanation on Abstract Interpretation on a web page [https://www.di.ens.fr/~cousot/AI/IntroAbsInt.html Abstract Interpretation in a Nutshell]. A more elaborate website on this subject can be found on a website <ref>https://www.di.ens.fr/~cousot/AI/</ref> maintained by Patrick Cousot. A course outline is available here:<ref>http://web.mit.edu/afs/athena.mit.edu/course/16/16.399/www/</ref>. A textbook<ref>{{:Book/Principles of Abstract Interpretation}}</ref> by [[Patrick Cousot]] is also available. | ||
<noinclude> | <noinclude> | ||
Revision as of 04:21, 15 June 2022
Abstract interpretation is a computational technique to approximate truth. In other words, it is computationally-based epistemology[1]. It analyzes 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[2]. 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 [3] maintained by Patrick Cousot. A course outline is available here:[4]. A textbook[5] by Patrick Cousot is also available.
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
- ↑ Szangolies, Jochen (Oct 18, 2018). Epistemic Horizons and the Foundations of Quantum Mechanics. local page: arXiv.
- ↑ 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/
- ↑ Cousot, Patrick (Sep 2021). Principles of Abstract Interpretation. local page: ACM Press.
Related Pages
Abstract Interpretation, Book/Galois Connections and Applications, Book/Principles of Abstract Interpretation, Paper/Abstract Interpretation