Abstract Interpretation

From PKC
Jump to navigation Jump to search

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


Concerto: A Framework for Combined Concrete and Abstract Interpretation


Courses that introduces Abstract Interpretation


Error in widget YouTube: unable to write file /var/www/html/extensions/Widgets/compiled_templates/wrt6571fd9902b757_51680225


Related Pages