Abstract Interpretation
Jump to navigation
Jump to search
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..