C. Mellish. Abstract interpretation of Prolog programs. In S. Abramsky and C. Hankin, editors, Abstract Interpretation of declarative languages, pp. 181--198. Ellis Horwood, 1987. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
Derivation of Efficient Logic Programs by.. - Pettorossi, Proietti, .. (2001) (Correct)
Making Exhaustive Search Programs Deterministic, Part II - Ueda (17 citations) (Correct)
A Simple Polynomial Groundness Analysis For Logic Programs - Heaton, Abo-Zaed, Codish.. (2000) (Correct)
Abstract Interpretation of Linear Logic Programming - Andreoli, Castagnetti.. (1993) (11 citations) (Correct)
Global Analysis of Constraint Logic Programs - Banda, Hermenegildo.. (1996) (7 citations) (Correct)
Semantics-Based Program Analysis for Logic-Based Languages .. - Codish, Demoen, Sagonas (1998) (3 citations) (Correct)
Typed Static Analysis: Application to the Groundness Analysis.. - Ridoux, al. (2001) (7 citations) (Correct)
A descriptive Mode Inference for Logic Programs - Ntienjem (1997) (Correct)
A Survey of Automated Deduction - Bundy (1999) (3 citations) (Correct)
Global Flow Analysis as a Practical Compilation Tool - Hermenegildo, Warren, DEBRAY (1992) (38 citations) (Correct)
Extracting Determinacy in Logic Programs - Dawson, Ramakrishnan, Ramakrishnan (1993) (11 citations) (Correct)
Static Inference of Modes and Data Dependencies in Logic Programs - Debray (1989) (72 citations) (Correct)
Slicing Knowledge-Based Systems: Techniques and Applications - Vasconcelos, al. (Correct)
A Flexible Framework for Dynamic and Static Slicing of Logic.. - Vasconcelos (1999) (1 citation) (Correct)
A Dataflow Semantics for Constraint Logic Programs - Colussi, Marchiori, Marchiori (1995) (Correct)
Appears in New Generation Computing, 15(4), 1997 - Static Analysis Of (1996) (Correct)
A Technique for Recursive Invariance Detection and.. - Giannotti, Hermenegildo (1991) (4 citations) (Correct)
Compile-Time Derivation of Variable Dependency Using Abstract .. - Muthukumar, al. (1992) (78 citations) (Correct)
MCC Technical Report Number: - Act-Dc- Deriving Fixpoint (Correct)
Combined Determination of Sharing and Freeness of.. - Muthukumar, Hermenegildo (1991) (42 citations) (Correct)
Robustness Analysis of Avionics Embedded Systems - Ait-Ameur, Bel, Boniol.. (Correct)
Robustness Analysis of Avionics Embedded Systems - Ait-Ameur, Bel, Boniol.. (Correct)
A General Framework for Semantics-based Bottom-up.. - Barbuti, Giacobazzi.. (1993) (26 citations) (Correct)
Generic Abstract Interpretation Algorithms for.. - Englebert, Le.. (1993) (11 citations) (Correct)
Efficient Dataflow Analysis of Logic Programs - Debray (1992) (24 citations) (Correct)
First 50 documents
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