Difference between revisions of "Abstract Interpretation"

From PKC
Jump to navigation Jump to search
Line 24: Line 24:


=References=
=References=
 
<references/>
{{#ask:
[[Category:{{PAGENMAE}}]]
  [[Category:Semantics]]
  [[Category:Data Science]]
|format=list
}}


[[Category:Abstract Interpretation]]
[[Category:Abstract Interpretation]]
[[Category:Semantics]]
[[Category:Data Science]]
</noinclude>
</noinclude>

Revision as of 04:39, 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]


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/

Abstract Interpretation, Book/Combinatorial Physics, Book/From Frege to Gödel, Book/Galois Connections and Applications, Book/Group Theory in a Nutshell for Physicists, Book/Principles of Abstract Interpretation, Book/Science and Method, Category Theory, Paper/Abstract Interpretation, Semantic spectrum, Video/James Hefford and Vincent Wang: Categories of Semantic Concepts, Web/Two Important Greek Words in the Bible: Logos and Rhema<ul><li>The part ":Template:PAGENMAE" of the query was not understood.Results might not be as expected.</li> <!--br--><li>The symbol ":Template:PAGENMAE" was used in a place where it is not useful.</li> <!--br--><li>The part "]]" of the query was not understood.Results might not be as expected.</li></ul>

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