A unifying view of abstract domain design

1 June 1996

journal article
Published by Association for Computing Machinery (ACM) in ACM Computing Surveys

Vol. 28 (2) , 333-336
https://doi.org/10.1145/234528.234742

Abstract

The concept of abstract interpretation was introduced by Patrick and Radhia Cousot [1977, 1979] in order to formal- ize static program analyses. Within this framework, our goal is to offer a unify- ing view on operators for enhancing and simplifying abstract domains. Enhanc- ing and simplifying operators are viewed, respectively, as domain refine- ments and inverses of domain refine- ments. This new unifying viewpoint makes both the understanding and the design of operators on abstract domains much simpler

Keywords

UNIFYING
ABSTRACT DOMAINS
SIMPLIFYING
MENTS
REFINE
VIEWPOINT
COUSOT
RADHIA
IZE

This publication has 1 reference indexed in Scilit:

Improving abstract interpretations by combining domains
ACM Transactions on Programming Languages and Systems, 1995