Roberto Giacobazzi Francesco Ranzato Dipartimento di Informatica, Universit`a ...  Home/Search
Context Related
| profs.sci.univr.it/~giaco...alp96.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: profs.sci.univr.it/~giac...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We consider abstract interpretation, and in particular the basic operators of reduced product and complementation of abstract domains, as a tool to systematically derive denotational semantics by composition and decomposition. Reduced product allows to perform the logical conjunction of semantics, while complementation characterizes what is left from a semantics when the information concerning a given observable property is "subtracted" from it. We apply this idea to the case of logic... (Update)
Context of citations to this paper: More
.... analyses [6, 2, 8] These methods construct abstract domains and program analyses by composition [1, 6, 9, 11, 12] and decomposition [5, 10]. One important way to compose abstract domains is the reduced product approach [6] The reduced product of two abstract domains...
.... [8, 1, 11] These methods construct abstract domains and program analyses by composition [4, 8, 12, 14, 17] and decomposition [6, 13]. One important way to compose abstract domains is the reduced product approach [8] The reduced product of two abstract domains captures...
Cited by: More
Designing Semantics by Domain Complementation - Giacobazzi, Mastroeni (Correct)
Compositionality in the Puzzle of Semantics - Giacobazzi, Mastroeni (Correct)
A Characterization of Symmetric Semantics By Domain.. - Giacobazzi, Mastroeni (2000) (Correct)
Active bibliography (related documents): More All
0.6: Functional Compositions of Abstract Interpretations - Giacobazzi, al. (Correct)
0.4: A Theory of Observables for Logic Programs - Comini, Levi, Meo (1996) (Correct)
0.3: Incompleteness, Counterexamples and Refinements in Abstract.. - Giacobazzi, al. (Correct)
Similar documents based on text: More All
0.6: Making Abstract Interpretations Complete - Giacobazzi, Ranzato (1997) (Correct)
0.5: Lifting Complete Orders to Achieve co-Additivity of Closure .. - Giacobazzi, Ranzato (1997) (Correct)
0.5: Uniform Closures: Order-Theoretically Reconstructing Logic.. - Giacobazzi, al. (1998) (Correct)
Related documents from co-citation: More All
6: Systematic design of program analysis frameworks (context) - Cousot, Cousot - 1979
4: A unifying view of abstract domain design (context) - Fil'e, Giacobazzi et al. - 1996
4: Complementation in abstract interpretation (context) - Cortesi, Fil'e et al. - 1997
BibTeX entry: (Update)
Giacobazzi, R. and Ranzato, F. 1996. Complementing logic program semantics. In Proceedings of the 5th International Conference on Algebraic and Logic Programming (ALP '96 ), M. Hanus and M. Rodr'iguez-Artalejo, Eds. Lecture Notes in Computer Science. Springer-Verlag, Berlin, 238--253. http://citeseer.ist.psu.edu/giacobazzi96complementing.html More
@inproceedings{ giacobazzi96complementing,
author = "Roberto Giacobazzi and Francesco Ranzato",
title = "Complementing Logic Program Semantics",
booktitle = "Algebraic and Logic Programming",
pages = "238-253",
year = "1996",
url = "citeseer.ist.psu.edu/giacobazzi96complementing.html" }
Citations (may not include all citations):815 Abstract interpretation: a unified lattice model for static .. (context) - Cousot, Cousot - 1977
312 Systematic design of program analysis frameworks (context) - Cousot, Cousot - 1979
218 Abstract interpretation and application to logic programs (context) - Cousot, Cousot - 1992
162 The semantics of predicate logic as a programming language (context) - van Emden, Kowalski - 1976
128 Declarative modeling of the operational behavior of logic la.. (context) - Falaschi, Levi et al. - 1989
78 Predicate logic as a computational formalism (context) - Clark - 1979
75 semantics and abstract interpretation (context) - Cousot, Cousot - 1992
68 A model theoretic reconstruction of the operational semantic.. (context) - Falaschi, Levi et al. - 1993
29 Complementation in abstract interpretation (context) - Cortesi, Fil'e et al. - 1995
25 Fixpoint semantics for partial computed answer substitutions.. (context) - Gabbrielli, Meo - 1992
19 A unifying view of abstract domain design (context) - Fil'e, Giacobazzi et al. - 1996
18 An algebraic theory of observables - Comini, Levi - 1994
17 collecting semantics for analysis in a hierarchy of logic pr.. (context) - Giacobazzi - 1996
15 Functional dependencies and Moore-set completions of abstrac.. - Giacobazzi, Ranzato - 1995
14 Some results on the closure operators of partially ordered s.. (context) - Morgado - 1960
13 Weak relative pseudo-complements of closure operators - Giacobazzi, Palamidessi et al. - 1996
13 Complementation of abstract domains made easy (context) - Fil'e, Ranzato - 1996
12 Compositionality of SLD-derivations and their abstractions - Comini, Levi et al. - 1995
11 Finite failure and partial computations in concurrent logic .. (context) - Falaschi, Levi - 1990
10 Declarative interpretations reconsidered - Apt, Gabbrielli - 1994
9 Note on complemented closure operators of complete lattices (context) - Morgado - 1962
8 Compositional optimization of disjunctive abstract interpret.. - Giacobazzi, Ranzato - 1996
3 Completeness and predicate-based abstract interpretation (context) - Mycroft - 1993
Documents on the same site (http://profs.sci.univr.it/~giaco/papers.html): More
A Characterization of Symmetric Semantics By Domain.. - Giacobazzi, Mastroeni (2000) (Correct)
Incompleteness, Counterexamples and Refinements in Abstract.. - Giacobazzi, al. (Correct)
Uniform Closures: Order-Theoretically Reconstructing Logic.. - Giacobazzi, al. (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC