Difference between revisions of "Abstract Interpretation"

From PKC
Jump to navigation Jump to search
m (Text replacement - "{{#ev:youtube|hP3ENPc8Jf0 |width=900 |height=500 }} " to "{{#widget:YouTube |id= hP3ENPc8Jf0 |width= 900 |height=500 }}")
 
(30 intermediate revisions by 2 users not shown)
Line 1: Line 1:
[[wikipedia:Abstract interpretation|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<ref>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.</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>
[[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>


=References=
=The latest development in Abstract Interpretation, <math>A^2 I</math>=
See transcript of this video<ref>{{:Video/A²I: Abstract² Interpretation}}</ref>:[https://www.assemblyai.com/playground/transcript/r3qn8qld6s-f258-4d08-b381-51d1919ff4ae Assembly AI Transcript]
 
<center>{{#widget:YouTube
|id= hP3ENPc8Jf0
|width= 900
|height=500
}}|https://www.youtube.com/watch?v=vHHBptK2RUo|||||}}</center>
 
=Concerto: A Framework for Combined Concrete and Abstract Interpretation=
 
<center>{{#widget:YouTube
|id= hP3ENPc8Jf0
|width= 900
|height=500
}}|https://www.youtube.com/watch?v=1Cj6GcUFAR0|||||}}</center>
 
=Courses that introduces Abstract Interpretation=
 
<center>{{#widget:YouTube
|id= hP3ENPc8Jf0
|width= 900
|height=500
}}|https://www.youtube.com/watch?v=j2m5YMnHvQQ|||||}}</center>
 
<center>{{#widget:YouTube
|id= hP3ENPc8Jf0
|width= 900
|height=500
}}|https://www.youtube.com/watch?v=FTcIE7uzehE&list=PLRkQ9YeNuZSqNYa7dE_Rel-sw5bIfRSsm|||||}}</center>
 
 
<center>{{#widget:YouTube
|id= hP3ENPc8Jf0
|width= 900
|height=500
}}|https://www.youtube.com/watch?v=-CTNS2D-kbY|||||}}</center>
 
{{#widget:YouTube
|id=zCrnMvJgeUk
}}
 
{{PagePostfix
|category_csd=Abstract Interpretation,Formal Method,Refinement Calculus,Category Theory,Lattice Theory,Semantics,Data Science
}}
</noinclude>

Latest revision as of 11:29, 13 January 2024

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.


The latest development in Abstract Interpretation,

See transcript of this video[6]:Assembly AI Transcript

|https://www.youtube.com/watch?v=vHHBptK2RUo%7C%7C%7C%7C%7C}}

Concerto: A Framework for Combined Concrete and Abstract Interpretation

|https://www.youtube.com/watch?v=1Cj6GcUFAR0%7C%7C%7C%7C%7C}}

Courses that introduces Abstract Interpretation

|https://www.youtube.com/watch?v=j2m5YMnHvQQ%7C%7C%7C%7C%7C}}
|https://www.youtube.com/watch?v=FTcIE7uzehE&list=PLRkQ9YeNuZSqNYa7dE_Rel-sw5bIfRSsm%7C%7C%7C%7C%7C}}


|https://www.youtube.com/watch?v=-CTNS2D-kbY%7C%7C%7C%7C%7C}}

References

  1. ↑ Szangolies, Jochen (Oct 18, 2018). Epistemic Horizons and the Foundations of Quantum Mechanics. local page: arXiv. 
  2. ↑ 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. 
  3. ↑ https://www.di.ens.fr/~cousot/AI/
  4. ↑ http://web.mit.edu/afs/athena.mit.edu/course/16/16.399/www/
  5. ↑ Cousot, Patrick (Sep 2021). Principles of Abstract Interpretation. local page: ACM Press. 
  6. ↑ Cousot, Patrick (Mar 4, 2019). A²I: Abstract² Interpretation. local page: POPL 2019. 

Related Pages


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