A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Introduction. The concept of abstract interpretation has been introduced by Patrick and Radhia Cousot in [4, 5] , in order to formalize static program analyses. Within this framework, our goal is to offer a unifying view on operators for enhancing and simplifying abstract domains. Enhancing and simplifying operators are viewed, respectively, as domain refinements and inverses of domain refinements. This new unifying viewpoint makes both the understanding and the design of operators on abstractdoi:10.1145/234528.234742 fatcat:glx3x6ghfbgqtmcwrdppzqyqgi