Difference between revisions of "Abstract Interpretation"

From PKC
Jump to navigation Jump to search
Line 1: Line 1:
[[wikipedia:Abstract interpretation|Abstract interpretation]] is a computational technique to [[approximate truth]]. In more technical terms, 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]]. 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:16, 15 June 2022

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[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]. A textbook[4] by Patrick Cousot is also available.


The latest development in Abstract Interpretation,

{{#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}}

Courses that introduces Abstract Interpretation

{{#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}}

{{#ev:youtube |zCrnMvJgeUk }}

References

  1. ↑ 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. 
  2. ↑ https://www.di.ens.fr/~cousot/AI/
  3. ↑ http://web.mit.edu/afs/athena.mit.edu/course/16/16.399/www/
  4. ↑ 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

Retrieved from "https://pkc.pub/index.php?title=Abstract_Interpretation&oldid=32202"