View source for Abstract Interpretation

[[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>

=The latest development in Abstract Interpretation, <math>A^2 I</math>=

<center>{{#ev:youtube|https://www.youtube.com/watch?v=vHHBptK2RUo|||||}}</center>

=Concerto: A Framework for Combined Concrete and Abstract Interpretation=

<center>{{#ev:youtube|https://www.youtube.com/watch?v=1Cj6GcUFAR0|||||}}</center>

=Courses that introduces Abstract Interpretation=

<center>{{#ev:youtube|https://www.youtube.com/watch?v=j2m5YMnHvQQ|||||}}</center>

<center>{{#ev:youtube|https://www.youtube.com/watch?v=FTcIE7uzehE&list=PLRkQ9YeNuZSqNYa7dE_Rel-sw5bIfRSsm|||||}}</center>


<center>{{#ev:youtube|https://www.youtube.com/watch?v=-CTNS2D-kbY|||||}}</center>

{{#ev:youtube
|zCrnMvJgeUk
}}

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

[[Category:Abstract Interpretation]]
[[Category:Formal Method]]
[[Category:Semantics]]
[[Category:Data Science]]
[[Category:Epistemology]]
[[Category:Category Theory]]
</noinclude>