Revision as of 14:41, 3 September 2021

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, $A^{2}I$

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

Revision as of 18:06, 3 August 2021 (view source) Benkoo (talk \| contribs) (→‎Courses that introduces Abstract Interpretation) ← Older edit		Revision as of 14:41, 3 September 2021 (view source) Benkoo (talk \| contribs) (→‎Courses that introduces Abstract Interpretation) Newer edit →
Line 17:		Line 17:


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

	{{#ev:youtube		{{#ev:youtube