Difference between revisions of "Abstract Interpretation"
Jump to navigation
Jump to search
| 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.]. | [[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.]. | ||
=References= | |||
Revision as of 14:49, 15 May 2021
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[1]. Patrick Cousot also has a short explanation on Abstract Interpretation on a web page Abstract Interpretation in a Nutshell..
References
- ↑ 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.