Roberto Giacobazzi  Home/Search
Context
Related
| daimi.aau.dk/~bra8130/L...ENSX19.ps.Z lix.polytechnique....APSENSX19.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: daimi.aau.dk/~b...OMAPS_abstracts (more) From: math.jussieu.fr...olytechnique.fr (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . In this paper we apply abstract interpretation to systematically derive, compose and compare semantics according to their expressive power. The main results are: (1) a definition of a hierarchy of collecting semantics, including well known semantics for logic programs, where semantics can be related to each other by abstract interpretation; (2) a characterization of collecting and abstract semantics in terms of collecting and abstract models for a program; (3) a correspondence between... (Update)
Active bibliography (related documents): More All
0.7: Making Abstract Interpretations Complete - Giacobazzi, Ranzato (1997) (Correct)
0.2: A Generator Semantics for Producer-Consumer Analysis - Kemp, Ringwood (Correct)
0.2: A Full Formalization of SLD-Resolution in the Calculus of.. - Jaume (Correct)
Similar documents based on text: More All
0.3: Complementing Logic Program Semantics - Roberto Giacobazzi Francesco (1996) (Correct)
0.0: Uniform Closures: Order-Theoretically Reconstructing Logic.. - Giacobazzi, al. (1998) (Correct)
0.0: Incompleteness, Counterexamples and Refinements in Abstract.. - Giacobazzi, al. (Correct)
BibTeX entry: (Update)
@inproceedings{ giacobazzi96optimal,
author = "R. Giacobazzi",
title = "Optimal {C}ollecting {S}emantics for {A}nalysis in a {H}ierarchy of {L}ogic {P}rogram {S}emantics",
booktitle = "Proc. of the 13th International Symposium on Theoretical Aspects of Computer Science ({STACS}'96)",
volume = "1046",
publisher = "Springer-Verlag",
address = "Grenoble, (France)",
editor = "C. Puech",
pages = "503--514",
year = "1996",
url = "citeseer.ist.psu.edu/94478.html" }
Citations (may not include all citations):815 Abstract interpretation: a unified lattice model for static .. (context) - Cousot - 1977
312 Systematic design of program analysis frameworks (context) - Cousot - 1979
248 The semantics of predicate logic as a programming language (context) - van Emden, Kowalski - 1976
218 Abstract interpretation and applications to logic programs (context) - Cousot - 1992
146 Introduction to logic programming (context) - Apt - 1990
128 Declarative modeling of the operational behavior of logic la.. (context) - Falaschi, Levi et al. - 1989
108 A practical framework for the abstract interpretation of log.. (context) - Bruynooghe - 1991
88 Static analysis of logic programs for independent AND parall.. (context) - Jacobs, Langen - 1992
75 semantics and abstract interpretation (context) - Cousot - 1992
70 A semantics-based framework for the abstract interpretation .. (context) - Jones, Sondergaard - 1987
68 A model-theoretic reconstruction of the operational semantic.. (context) - Falaschi, Levi et al. - 1993
57 A compositional semantics for logic programs (context) - Bossi, Gabbrielli et al. - 1994
53 Bottom-up abstract interpretation of logic programs (context) - Codish, Dams et al. - 1994
48 A general framework for semantics-based bottom-up abstract i.. - Barbuti, Giacobazzi et al. - 1993
42 Compositional analysis of modular logic programs - Codish, Debray et al. - 1993
33 Boolean functions for dependency analysis: algebraic propert.. (context) - Armstrong, Marriott et al. - 1994
25 Fixpoint semantics for partial computed answer substitutions.. (context) - Gabbrielli, Meo - 1992
18 An algebraic theory of observables - Comini, Levi - 1994
14 Oracle semantics for PROLOG - Barbuti, Codish et al. - 1992
8 Strong abstract interpretation using power domains (context) - Mycroft, Nielson - 1983
4 Reynolds and Heyting models of logic programs (context) - Kemp, Ringwood - 1991
2 Optimal data flow analysis via observational equivalence (context) - Steffen - 1989
1 Topological model set deformations (context) - Batarekh, Subrahmanian - 1989
Documents on the same site (http://www.daimi.aau.dk/~bra8130/LOMAPS_abstracts.html): More
Enhanced Operational Semantics - Degano, Priami (1996) (Correct)
Clock Analysis of Synchronous Dataflow Programs - Jensen (1995) (Correct)
Proving Properties of Dynamic Process Networks - Dam (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