Roberto Barbuti, Roberto Giacobazzi, Giorgio Levi  Home/Search
Context Related
Links: ACM DBLP | profs.sci.univr.it/~gi...toplas15.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: Interpretation of Logic Programs Roberto Barbuti , Roberto Giacobazzi , Giorgio Levi Dipartimento di Informatica Universit`a di Pisa Corso Italia 40, 56125 Pisa fbarbuti,giaco,levig@di.unipi.it in ACM Transactions on Programming Languages and Systems Vol 15, January 1993 Abstract The theory of abstract interpretation provides a formal framework to develop advanced dataflow analysis tools. The idea is to define a non-standard semantics which is able to compute, in finite time, an... (Update)
Cited by: More
A Compositional Semantics for - Conditional Term Rewriting (Correct)
Appears in New Generation Computing, 15(4), 1997 - Static Analysis Of (1996) (Correct)
Exploiting Goal Independence in the Analysis of Logic.. - Codish, Bruynooghe.. (1997) (Correct)
Active bibliography (related documents): More All
1.0: Efficient Dataflow Analysis of Logic Programs - Debray (1992) (Correct)
1.0: S-Semantics Approach: Theory And Applications - Bossi, Gabbrielli, Levi.. (1994) (Correct)
0.5: Functional Computations in Logic Programs - Debray, Warren (1989) (Correct)
Similar documents based on text: More All
0.4: Modelling Prolog Control - Roberto Barbuti Michael (1992) (Correct)
0.3: Static Analysis of CLP Programs over Numeric Domains - Bagnara, Giacobazzi, Levi (1992) (Correct)
0.3: Abstracting Synchronization in Concurrent Constraint.. - Zaffanella, Giacobazzi.. (1994) (Correct)
Related documents from co-citation: More All
34: Abstract interpretation: a unified lattice model for static analysis of programs.. (context) - Cousot, Cousot - 1977
33: Bottomup Abstract Interpretation of Logic Programs (context) - Codish, Dams et al. - 1990
30: Declarative modeling of the operational behavior of logic languages (context) - Falaschi, Levi et al. - 1989
BibTeX entry: (Update)
Barbuti, R., Giacobazzi, R., and Levi, G. 1993. A general framework for semantics-based bottom-up abstract interpretation of logic programs. ACM Trans. Program. Lang. Syst. 15, 1, 133--181. http://citeseer.ist.psu.edu/barbuti93general.html More
@article{ barbuti93general,
author = "Roberto Barbuti and Roberto Giacobazzi and Giorgio Levi",
title = "A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs",
journal = "ACM Transactions on Programming Languages and Systems",
volume = "15",
number = "1",
month = "January",
publisher = "ACM Press",
pages = "133--181",
year = "1993",
url = "citeseer.ist.psu.edu/barbuti93general.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
346 Denotational Semantics: The Scott-Strachey Approach to Progr.. (context) - Stoy - 1977
312 Systematic Design of Program Analysis Frameworks (context) - Cousot, Cousot - 1979 ACM DBLP
174 A Kripke-Kleene semantics for logic programs (context) - Fitting - 1985 DBLP
166 Unification Revisited (context) - Lassez, Maher et al. - 1988 ACM DBLP
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 ACM DBLP
124 Lattice Theory (context) - Birkhoff - 1967
109 A Polymorphic Type System for Prolog (context) - Mycroft, O'Keefe - 1984 DBLP
71 Abstract Interpretation and Optimising Transformations for A.. (context) - Mycroft - 1981
70 A Semantics-based Framework for the Abstract Interpretation .. (context) - Jones, Sndergaard - 1987
68 A Model-Theoretic Reconstruction of the Operational Semantic.. (context) - Falaschi, Levi et al. - 1989 ACM DBLP
62 Some Global Optimizations for a Prolog Compiler (context) - Mellish - 1985 DBLP
61 Equivalences of Logic Programs (context) - Maher - 1988 ACM DBLP
53 An Abstract Machine for Restricted AND-Parallel Execution of.. (context) - Hermenegildo - 1986 ACM DBLP
53 Bottom-up Abstract Interpretation of Logic Programs (context) - Codish, Dams et al. - 1990
51 Automatic Mode Inference for Logic Programs - Debray, Warren - 1988 ACM DBLP
49 Accurate and Efficient Approximation of Variable Aliasing in.. (context) - Jacobs, Langen - 1989 DBLP
48 Abstract Interpretation of Prolog Programs (context) - Mellish - 1987 ACM DBLP
42 Enumeration of Success Patterns in Logic Programs (context) - Sato, Tamaki - 1984 ACM DBLP
42 An Application of Abstract Interpretation of Logic Programs:.. (context) - Sndergaard - 1986 ACM DBLP
39 An Algebra of Logic Programs (context) - Mancarella, Pedreschi - 1988 DBLP
37 Abstract Interpretation: Towards the Global Optimization of .. (context) - Bruynooghe, Janssens et al. - 1987 DBLP
36 An Instance of Abstract Interpretation Integrating Type and .. (context) - Bruynooghe, Janssens - 1988 DBLP
34 Determination of Variable Dependence Information through Abs.. (context) - Muthukumar, Hermenegildo - 1989 DBLP
32 A new Declarative Semantics for Logic Languages (context) - Falaschi, Levi et al. - 1988 DBLP
32 Properties of substitutions and unifications (context) - Eder - 1985 ACM DBLP
31 Galois Connections and Computer Science Applications (context) - Melton, Schmidt et al. - 1986 ACM
28 Efficient Dataflow Analysis of Logic Programs - Debray - 1988 ACM DBLP
24 Modelling Prolog Control - Barbuti, Codish et al. - 1992
23 Bottom-up Abstract Interpretation of Logic Programs (context) - Marriott, Sndergaard - 1988 ACM DBLP
23 Abstract Interpretation of Logic Programs: an Abstract Domai.. (context) - Cortesi, File - 1991
20 Technical Report No - Dart, Dependencies et al. - 1987
20 Semantics-based Dataflow Analysis of Logic Programs (context) - Marriott, Sndergaard - 1989 DBLP
17 A Bottom-up Polymorphic Type Inference in Logic Programming (context) - Barbuti, Giacobazzi - 1989 ACM DBLP
16 the Semantics of Logic Programs (context) - Gabbrielli, Levi - 1991
16 Flow Analysis of Prolog Programs (context) - Mannila, Ukkonen - 1987 DBLP
15 a Vu in Fixpoints of Logic Programs (context) - Maher, Ramakrishnan - 1989
14 An Introduction to Abstract Interpretation (context) - Abramsky, Hankin - 1987
12 the Correctness and Efficiency of Independent And-Parallelis.. (context) - Hermenegildo, Rossi - 1989
12 Polymorphic Type Inference in Prolog by Abstract Interpretat.. (context) - Kanomori, Horiuchi - 1988 ACM DBLP
10 Improving the Execution Speed of Compiled Prolog with Modes (context) - Demoen, VanRoy et al. - 1987
9 An Algebraic Framework for the Abstract Interpretation of Lo.. (context) - Kemp, Ringwood - 1990
8 Generalized Horn Clause Programs - Debray, Ramakrishnan - 1991
8 Detecting Determinate Computations by a Bottom-up Abstract I.. (context) - Giacobazzi, Ricci - 1992
6 A Complete Framework for the Abstract Interpretation of Logi.. (context) - Corsini, File - 1989
5 A Structured Approach to Semantics Correctness (context) - Barbuti, Martelli - 1983
5 Semantics-Based Analysis and Transformation of Logic Program.. (context) - Sndergaard - 1990
5 Recognizing Non-Floundering Logic Programs and Goals (context) - Barbuti, Martelli - 1990 DBLP
5 Galois Connections (context) - Herrlich, Husek - 1985 ACM DBLP
4 Pipeline Optimizations in AND-Parallelism by Abstract Interp.. (context) - Giacobazzi, Ricci - 1990 ACM
3 Specialization of Prolog and FCP Programs Using Abstract Int.. (context) - Gallagher, Codish et al. - 1988
3 Galois Connections (context) - Ore - 1944 ACM DBLP
2 Functional Dependencies (context) - Zobel, Dart et al. - 1990
2 Functional Dependencies in Logic Programs (context) - Mendelzon - 1985 DBLP
2 Finding Explicit Representations for Subsets of the Herbrand.. (context) - Marriott - 1988
2 Compilation of Logic Programs for Massively Parallel Systems (context) - Ricci - 1990
1 Note ComplexityPrecision Tradeoff Dataflow Analysi Logic Pro.. (context) - Mythical, Notes et al. - 1991
1 A Declarative Abstract Semantics for Logic Programs (context) - Barbuti, Giacobazzi et al. - 1989
1 Efficient Management of Backtacking in AND-Parallelism (context) - Hermenegildo, Nasr - 1986
The graph only includes citing articles where the year of publication is known.
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