TY - GEN
T1 - Complementation in abstract interpretation
AU - Cortesi, Agostino
AU - Filé, Gilberto
AU - Giacobazzi, Roberto
AU - Palamidessi, Catuscia
AU - Ranzato, Francesco
PY - 1995/1/1
Y1 - 1995/1/1
N2 - The reduced product of abstract domains is a rather well known operation in abstract interpretation. In this paper we study the inverse operation, which we call complementation. Such an operation allows to systematically decompose domains; it provides a systematic way to design new abstract domains; it allows to simplify domain verification problems, like correctness proofs; and it yields space saving representations for domains. We show that the complement exists in most cases, and we apply complementation to two well known abstract domains, notably to the Cousot and Cousot's comportment domain for analysis of functional languages and to the complex domain Sharing for aliasing analysis of logic languages.
AB - The reduced product of abstract domains is a rather well known operation in abstract interpretation. In this paper we study the inverse operation, which we call complementation. Such an operation allows to systematically decompose domains; it provides a systematic way to design new abstract domains; it allows to simplify domain verification problems, like correctness proofs; and it yields space saving representations for domains. We show that the complement exists in most cases, and we apply complementation to two well known abstract domains, notably to the Cousot and Cousot's comportment domain for analysis of functional languages and to the complex domain Sharing for aliasing analysis of logic languages.
UR - https://www.scopus.com/pages/publications/84955569216
U2 - 10.1007/3-540-60360-3_35
DO - 10.1007/3-540-60360-3_35
M3 - Conference contribution
AN - SCOPUS:84955569216
SN - 9783540603603
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 100
EP - 117
BT - Static Analysis - 2nd International Symposium, SAS 1995, Proceedings
A2 - Mycroft, Alan
PB - Springer Verlag
T2 - 2nd International Static Analysis Symposium, SAS 1995
Y2 - 25 September 1995 through 27 September 1995
ER -