MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Complementation in Abstract Interpretation" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

7 documents found, showing 1 through 7.

ATOM

Complementation in abstract interpretation
by Agostino Cortesi, Roberto Giacobazzi, Catuscia Palamidessiy, Francesco Ranzatoz — 1997 — ACM Trans. Program. Lang. Syst
… Complementation in Abstract Interpretation Agostino Cortesi? Gilberto Fil'e?? Roberto Giacobazzi…
Cited by 31 (17 self) – Add To MetaCart

A Characterization of Symmetric Semantics By Domain Complementation
by Roberto Giacobazzi, Isabella Mastroeni — 2000
… complementation in abstract interpretation as a formal method for systematically deriving complementary semantics…
Cited by 3 (3 self) – Add To MetaCart

Complementing Logic Program Semantics
by Roberto Giacobazzi Francesco, Francesco Ranzato — 1996 — In Proceedings of the 5th International Conference onAlgebraic and Logic Programming (ALP '96 ), M. Hanus and M. Rodr guez Artalejo, Eds. Lecture Notes in Computer Science
… of domain refinements and their inverses, like reduced product and complementation. Abstract interpretation…
Add To MetaCart

Optimal domains for disjunctive abstract interpretation
by Roberto Giacobazzi, Francesco Ranzato — 1998 — Sci. Comput. Program
… product domain refinement, introducing the notion of domain complementation in abstract interpretation…
Cited by 15 (11 self) – Add To MetaCart

Research Overview and Plans
by Catuscia Palamidessi March, Catuscia Palamidessi
… of various fragments . . . . . . . . . . . . . 4 2.3 Complementation in abstract interpretation…
Add To MetaCart

1.1 Concurrent Logic Programming 1.2 Semantics of Logic Programming
by unknown authors — 1997
… in abstract interpretation 3.1 Concurrent Languages based on Asynchronous Com- munication abstract…
Add To MetaCart

Compositional Optimization of Disjunctive Abstract Interpretations
by Roberto Giacobazzi, Francesco Ranzato — 1996 — Proc. of the 1996 European Symposium on Programming, volume 1058 of Lecture Notes in Computer Science
… interpretation. Complementation provides an important tool for abstract domain decomposition into attribute…
Cited by 10 (2 self) – Add To MetaCart

Showing 1 through 7.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB