Gianluca Amato, Giorgio Levi  Home/Search
Context Related
| strudel.di.unipi.it/...gulp_final.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: strudel.di.unipi.it/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We show several properties of the abstract interpretation settings regarding relationships between precision of semantic operators and abstract domains composition. Then, we apply these results to the framework for logic programs introduced in [3], extended with the new class of operational observables. We prove that the classes of perfect, denotational and operational observables are complete lattices and we discuss some problems that arise studying them. Finally, we show how to use functional ... (Update)
Context of citations to this paper: More
.... interpretation ideas have been mostly successful in the study of semantics, as the growing literature on this topic shows (e.g. see [Amato and Levi 1997; Comini and Levi 1994; Comini et al. 1995; Fages and Gori 1996; Giacobazzi 1996; Giacobazzi and Ranzato 1995, 1996] and...
...symmetric w.r.t. Axiom (6.3) i.e. ff(D . D 0 ) ff( fl ffi ff)D . D 0 ) This class (operational observables) has been studied in [1] and seems to include no interesting observables. The relation between operational and denotational definitions that we have noticed for...
Cited by: More
Making Abstract Interpretations Complete - Giacobazzi, Ranzato (1997) (Correct)
A Theory of Observables for Logic Programs - Comini, Levi, Meo (1996) (Correct)
Uniform Closures: Order-Theoretically Reconstructing Logic.. - Giacobazzi, al. (1998) (Correct)
Active bibliography (related documents): More All
0.5: A New Framework for Declarative Programming - Finkelstein, Freyd, Lipton (2001) (Correct)
0.4: Compositionality Properties of SLD-derivations - Comini, Meo (1996) (Correct)
0.4: Functional Compositions of Abstract Interpretations - Giacobazzi, al. (Correct)
Similar documents based on text: More All
0.1: Optimality in Goal-dependent Analysis of Sharing - Amato, Scozzari (2002) (Correct)
0.1: Static Analysis of CLP Programs over Numeric Domains - Bagnara, Giacobazzi, Levi (1992) (Correct)
0.0: An Experiment in Domain Refinement: Type Domains and Type.. - Levi, Spoto (1998) (Correct)
Related documents from co-citation: More All
3: Systematic design of program analysis frameworks (context) - Cousot, Cousot - 1979
3: Declarative modeling of the operational behavior of logic languages (context) - Falaschi, Levi et al. - 1989
3: Abstract interpretation: a unified lattice model for static analysis of programs.. (context) - Cousot, Cousot - 1977
BibTeX entry: (Update)
Amato, G. and Levi, G. 1997. Properties of the lattice of observables in logic programming. In Proceedings of the Italian-Portuguese-Spanish Joint Conference on Declarative Programming, (APPIA- GULP-PRODE '97 ). 175--187. http://citeseer.ist.psu.edu/amato97properties.html More
@misc{ amato97properties,
author = "G. Amato and G. Levi",
title = "Properties of the lattice of observables in logic programming",
text = "Amato, G. and Levi, G. 1997. Properties of the lattice of observables in
logic programming. In Proceedings of the Italian-Portuguese-Spanish Joint
Conference on Declarative Programming, (APPIA- GULP-PRODE '97 ). 175--187.",
year = "1997",
url = "citeseer.ist.psu.edu/amato97properties.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987 ACM
815 Abstract Interpretation: A Unified Lattice Model for Static .. (context) - Cousot, Cousot - 1977 DBLP
312 Systematic Design of Program Analysis Frameworks (context) - Cousot, Cousot - 1979 ACM DBLP
218 Abstract Interpretation and Applications to Logic Programs (context) - Cousot, Cousot - 1992
146 Introduction to Logic Programming (context) - Apt - 1990 ACM DBLP
128 Declarative Modeling of the Operational Behavior of Logic La.. (context) - Falaschi, Levi et al. - 1989 ACM DBLP
124 Lattice Theory (context) - Birkhoff - 1967
68 A Model-Theoretic Reconstruction of the Operational Semantic.. (context) - Falaschi, Levi et al. - 1993 ACM DBLP
29 Complementation in abstract interpretation (context) - Cortesi, File et al. - 1995 ACM DBLP
25 Fixpoint Semantics for Partial Computed Answer Substitutions.. (context) - Gabbrielli, Meo - 1992 ACM DBLP
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 DBLP
12 Compositionality of SLD-derivations and their abstractions - Comini, Levi et al. - 1995
8 Compositionality properties of SLD-derivations - Comini, Meo - 1996 ACM
7 Resultants semantics for PROLOG - Gabbrielli, Levi et al. - 1996 DBLP
5 A theory of observables for logic programs - Comini, Levi et al. - 1996 DBLP
2 A framework for reasoning about the Semantics of Logic Progr.. (context) - Meo - 1996
Documents on the same site (http://strudel.di.unipi.it/papers/): More
A Reactive Implementation of Pos Using ROBDDs - Bagnara (1996) (Correct)
An OR-Compositional Semantics for Logic Programs - Bossi, GABBRIELLI, LEVI, MEO (1993) (Correct)
Resultants Semantics for Prolog - Gabbrielli, Levi, Meo (1996) (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