Roberto Giacobazzi  Home/Search
Context Related
| profs.sci.univr.it/~giaco...jlc97.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 introduce a practical method for abductive analysis of modular logic programs. This is obtained by reversing the deduction process, which is usually applied in static-dataflow analysis of logic programs, on generic, possibly abstract, domains for analysis. The approach is validated in the framework of abstract interpretation. The abduced information provides an abstract specification for program modules which can be of assistance both in top-down development of programs and in compile-time... (Update)
Context of citations to this paper: More
...are discussed in Section 6. Section 7 concludes. The Appendix contains proofs of related results. This paper is the extended version of [19]. 2 Preliminaries In the following we assume familiarity with the standard definitions and notation for logic programs [2] constraint...
...are discussed in Section 6. Section 7 concludes. The Appendix contains proofs of related results. This paper is the extended version of [18]. 2 2 Preliminaries In the following we assume familiarity with the standard definitions and notation for logic programs [2]...
Cited by: More
Abductive Analysis of Modular Logic Programs - Giacobazzi (1997) (Correct)
Modular Static Program Analysis - Cousot, Cousot (2002) (Correct)
Active bibliography (related documents): More All
0.4: Compositional Analysis of Modular Logic Programs - Codish, Debray, al. (1993) (Correct)
0.3: S-Semantics Approach: Theory And Applications - Bossi, Gabbrielli, Levi.. (1994) (Correct)
0.2: Functional Compositions of Abstract Interpretations - Giacobazzi, al. (Correct)
Similar documents based on text: More All
0.3: Generalized Semantics And Abstract Interpretation for . . . - Giacobazzi, al. (1995) (Correct)
0.2: Functional Dependencies and Moore-Set Completions of Abstract.. - Giacobazzi, al. (1995) (Correct)
0.2: Modular Logic Programs over Finite Domains - Gabbrielli, Giacobazzi, Montesi (1993) (Correct)
Related documents from co-citation: More All
4: Systematic design of program analysis frameworks (context) - Cousot, Cousot - 1979
4: Compositional Analysis of Modular Logic Programs - Codish, Debray et al. - 1993
3: Constraint Logic Programming (context) - Jaffar, Lassez - 1987
BibTeX entry: (Update)
R. Giacobazzi. Abductive Analysis of Modular Logic Programs. In M. Bruynooghe, editor, Proc. of the Eleventh International Logic Programming Symposium, ILPS '94, pages 377-- 391. The MIT Press, Cambridge, Mass., 1994. http://citeseer.ist.psu.edu/giacobazzi97abductive.html More
@inproceedings{ roberto94abductive,
author = "Giacobazzi, Roberto",
title = "Abductive Analysis of Modular Logic Programs",
booktitle = "Proceedings of the 1994 International Logic Programming Symposium",
publisher = "The MIT Press",
editor = "Bruynooghe, Maurice",
pages = "377--392",
year = "1994",
url = "citeseer.ist.psu.edu/giacobazzi97abductive.html" }
Citations (may not include all citations):815 Abstract interpretation: a unified lattice model for static .. (context) - Cousot, Cousot - 1977
561 Constraint Logic Programming (context) - Jaffar, Lassez - 1987
312 Systematic Design of Program Analysis Frameworks (context) - Cousot, Cousot - 1979
212 Abductive Logic Programming - Kakas, Kowalski et al. - 1993
146 Introduction to Logic Programming (context) - Apt - 1990
128 Declarative Modeling of the Operational Behavior of Logic La.. (context) - Falaschi, Levi et al. - 1989
124 Lattice Theory (context) - Birkhoff - 1967
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, Cousot - 1992
72 Prop revisited: Propositional Formula as Abstract Domain for.. (context) - Cortesi, File et al. - 1991
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
52 Global flow analysis as a practical compilation tool - Hermenegildo, Warren et al. - 1992
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
40 Suspension Analysis for Concurrent Logic Programs (context) - Codish, Falaschi et al. - 1991
38 Generalized Semantics and Abstract Interpretation for Constr.. - Giacobazzi, Debray et al. - 1995
33 Boolean functions for dependency analysis: algebraic propert.. (context) - Armstrong, Marriott et al. - 1994
28 Efficient Dataflow Analysis of Logic Programs - Debray - 1992
25 Unfolding Rules and Fixpoint Semantics (context) - Levi - 1988
24 Laws of programming (context) - Hoare, Hayes et al. - 1987
18 Procedural and Fixpoint Semantics of Logic Programs (context) - Denis, Delahaye - 1991
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
15 Modular logic programs over finite domains - Gabbrielli, Giacobazzi et al. - 1993
12 Semantic Aspects of Logic Program Analysis (context) - Giacobazzi - 1993
12 Bottom-up Dataflow Analysis of Normal Logic Programs (context) - Marriott, Sndergaard - 1992
4 Abductive Analysis of Modular Logic Programs - Giacobazzi - 1994
1 A Appendix: Proofs of related results The appendix contains .. (context) - Poole, framework et al. - 1988
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