Designing Semantics by Domain Complementation
Roberto Giacobazzi, Isabella Mastroeni · 2000
We characterize the symmetric structure of Cousot's hierarchy of semantics in terms of a purely algebraic manipulation of abstract domains. We consider domain complementation in abstract interpretation as a formal method for systematically deriving complementary semantics of programming languages.