Difference between revisions of "Abstract Interpretation"
Jump to navigation
Jump to search
(Created page with "Abstract interpretation is a rigorous methodology to compute approximation.") |
|||
| Line 1: | Line 1: | ||
[[wikipedia:Abstract interpretation|Abstract interpretation]] is a rigorous methodology to compute approximation. | [[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></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.]. | ||
Revision as of 14:47, 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 hereCite error: Invalid <ref> tag; refs with no name must have content. Patrick Cousot also has a short explanation on Abstract Interpretation on a web page Abstract Interpretation in a Nutshell..