M. Codish, S. K. Debray, and R. Giacobazzi. Compositional Analysis of Modular Logic Programs. In Proc. of the ACM Symposium on Principles of Programming Languages, pages 451--464. ACM Press, 1993. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
Generalized Semantics And Abstract Interpretation For.. - Giacobazzi, Debray, Levi (1995) (31 citations) (Correct)
Modular Static Program Analysis - Cousot, Cousot (2002) (8 citations) (Correct)
Abstracting Builtins for Groundness Analysis - Heaton, King (2000) (Correct)
A Framework for Bottom Up Specialisation of Logic Programs - Vanhoof, De Schreye, Martens (1998) (4 citations) (Correct)
Bottom-up Partial Deduction of Logic Programs - Vanhoof, De Schreye, Martens (1999) (1 citation) (Correct)
Data-Flow Analysis of Program Fragments - Rountev, Ryder, Landi (1999) (11 citations) (Correct)
Observable Semantics for Constraint Logic Programs - Gabbrielli, Dore, Levi (1995) (23 citations) (Correct)
Generalized Semantics And Abstract Interpretation for . . . - Giacobazzi, al. (1995) (31 citations) (Correct)
The (Lazy) Functional Side of Logic Programming - Etalle, Mountjoy (2000) (Correct)
Program Analysis as Model Checking of Abstract Interpretations - Schmidt, Steffen (1998) (25 citations) (Correct)
Precise and Efficient Groundness Analysis for Logic Programs - Marriott, Søndergaard (1993) (32 citations) (Correct)
Global Analysis of Standard Prolog Programs - Bueno, Cabeza, Hermenegildo.. (1996) (6 citations) (Correct)
Compositional Analysis of Suspension Free cc Programs - Zaffanella (Correct)
Incremental Refinement of Success Patterns of Logic Programs - Lu (Correct)
Incremental Analysis of Logic Programs - Hermenegildo, Puebla (1995) (7 citations) (Correct)
Functional Dependencies and Moore-Set Completions of Abstract.. - Giacobazzi, al. (1995) (9 citations) (Correct)
S-Semantics Approach: Theory And Applications - Bossi, Gabbrielli, Levi.. (1994) (7 citations) (Correct)
Partial Evaluation of Higher-Order Natural-Semantics Derivations - Ibraheem, Schmidt (1997) (Correct)
Operational and Goal-Independent Denotational Semantics for Prolog .. - Spoto (2 citations) (Correct)
Analysis of pure PROLOG programs - Levi, Micciancio (1995) (1 citation) (Correct)
Layered Modes - Etalle, Gabbrielli (1996) (3 citations) (Correct)
An OR-Compositional Semantics for Logic Programs - Bossi, GABBRIELLI, LEVI, MEO (1993) (2 citations) (Correct)
An Abstract Interpreter fot Improving the Efficiency .. - Ciampolini, Lamma.. (1996) (Correct)
Modular Class Analysis with DATALOG - Besson, Jensen, Spoto (2003) (6 citations) (Correct)
A Model for Inter-module Analysis and Optimizing.. - Bueno, Banda.. (2000) (4 citations) (Correct)
A Generic Framework for Context-Sensitive Analysis .. - Puebla, Correas.. (Correct)
Data-Flow Analysis of Prolog Programs with.. - Bueno, Cabeza.. (1995) (1 citation) (Correct)
Goal Independency and Call Patterns in the Analysis of.. - Maurizio Gabbrielli Cwi (1994) (17 citations) Self-citation (Giacobazzi) (Correct)
Modular Logic Programs over Finite Domains - Maurizio Gabbrielli Cwi (1993) (6 citations) Self-citation (Giacobazzi) (Correct)
Abductive Analysis of Modular Logic Programs - Giacobazzi (1997) (1 citation) Self-citation (Giacobazzi) (Correct)
Compositional Analysis of Modular Logic Programs - Codish, Debray, al. (1993) (27 citations) Self-citation (Codish Debray Giacobazzi) (Correct)
Analyzing Logic Programs Using "Prop"-Ositional Logic.. - Codish, Demoen (1997) (2 citations) Self-citation (Codish) (Correct)
Abductive Analysis of Modular Logic Programs - Giacobazzi (1997) (1 citation) Self-citation (Giacobazzi) (Correct)
Deriving Polymorphic Type Dependencies for Logic Programs.. - Codish, Demoen (1994) (24 citations) Self-citation (Codish) (Correct)
Abductive Analysis of Modular Logic Programs - Giacobazzi (1994) (1 citation) Self-citation (Giacobazzi) (Correct)
Deriving Polymorphic Type Dependencies for Logic Programs.. - Codish, Demoen (1994) (24 citations) Self-citation (Codish) (Correct)
"Optimal" Collecting Semantics for Analysis in a Hierarchy of.. - Giacobazzi Self-citation (Giacobazzi) (Correct)
A Simple Approach To Supporting Untagged Objects In.. - Bigot, Debray (1 citation) Self-citation (Debray) (Correct)
Modular Logic Programs over Finite Domains - Gabbrielli, Giacobazzi, Montesi (1993) (6 citations) Self-citation (Giacobazzi) (Correct)
Abductive Analysis of Modular Logic Programs - Roberto Giacobazzi (1994) (1 citation) Self-citation (Giacobazzi) (Correct)
Analyzing Logic Programs Using "Prop"-Ositional Logic.. - Codish, Demoen (1995) (2 citations) Self-citation (Codish) (Correct)
Goal Independency and Call Patterns in the Analysis of.. - Maurizio Gabbrielli (1994) (17 citations) Self-citation (Giacobazzi) (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