CiteSeer.IST Home  Related articles for:  Static Inference of Modes and Data Dependencies in Logic Programs - Debray (1989)   (Correct)

Active bibliography (related documents):
0.4:   Efficient Dataflow Analysis of Logic Programs - Debray (1992)   (Correct)
0.3:   Automatic Mode Inference for Logic Programs - Debray, Warren (1988)   (Correct)
0.2:   Transforming CHIP Programs to KL1 - Design and Implementation of .. - Varsamos (1994)   (Correct)
0.2:   Automatic Transformation of Deterministic Prolog Programs to KL1 - Varsamos (1994)   (Correct)
0.2:   A descriptive Mode Inference for Logic Programs - Ntienjem (1997)   (Correct)
0.2:   A Simple Code Improvement Scheme for Prolog - Debray (1992)   (Correct)
0.2:   R. Orchard et al. (Eds.): IEA/AIE 2004, LNAI 3029.. - Springer-Verlag..   (Correct)
0.2:   Flow Analysis of Dynamic Logic Programs - Debray (1989)   (Correct)
0.1:   A General Framework for Semantics-based Bottom-up.. - Barbuti, Giacobazzi.. (1993)   (Correct)
0.1:   Automated Termination Analysis for Logic Programs - Sohn (1993)   (Correct)
0.1:   Functional Computations in Logic Programs - Debray, Warren (1989)   (Correct)
0.1:   A Technique for Recursive Invariance Detection and.. - Giannotti, Hermenegildo (1991)   (Correct)
0.1:   Analysis and Transformation of Logic Programs - Post (1994)   (Correct)
0.1:   Generic Abstract Interpretation Algorithms for.. - Englebert, Le.. (1993)   (Correct)
0.1:   Compile-Time Derivation of Variable Dependency Using Abstract .. - Muthukumar, al. (1992)   (Correct)
0.1:   Logic Program Development Based on Typed, Moded Schemata and.. - Marakakis (1997)   (Correct)
0.1:   On the Occur-check Free Prolog Programs - Apt, Pellegrini (1994)   (Correct)
0.1:   Global Analysis of Standard Prolog Programs - Bueno, Cabeza, Hermenegildo.. (1996)   (Correct)
0.1:   A New Module System for Prolog - Daniel Cabeza And (1999)   (Correct)
0.1:   Data-Flow Analysis of Prolog Programs with.. - Bueno, Cabeza.. (1995)   (Correct)

Similar documents based on text:
0.1:   Compiler Techniques for Code Compaction - Debray, Evans, Muth, De Sutter (2000)   (Correct)
0.1:   Extensions De Foncteurs Simples - Piriou, Schwartz   (Correct)
0.0:   Extracting Determinacy in Logic Programs - Dawson, Ramakrishnan, Ramakrishnan (1993)   (Correct)
0.0:   A Simple Approach To Supporting Untagged Objects In.. - Bigot, Debray   (Correct)
0.0:   alto: A Link-Time Optimizer for the DEC Alpha - Muth, Debray, Watterson (1998)   (Correct)
0.0:   Return Value Placement And Tail Call Optimization In High.. - Bigot, Debray (1999)   (Correct)

System load high. Please wait...
Timeout. Please try your query later.
Related documents from co-citation:
25:   Abstract interpretation: a unified lattice model for static analysis of programs.. (context) - Cousot, Cousot - 1977
20:   Some Global Optimizations for a Prolog Compiler (context) - Mellish - 1985
20:   A practical framework for the abstract interpretation of logic programs (context) - Bruynooghe - 1991
19:   Foundations of Logic Programming (context) - Lloyd - 1987
17:   Compile-time derivation of variable dependency using abstract interpretation - Muthukumar, Hermenegildo - 1992
16:   Abstract interpretation and application to logic programs (context) - Cousot, Cousot
15:   A semantic-based framework for the abstract interpretation of Prolog (context) - Jones, Sondergaard
15:   Automatic Mode inference for Logic Programs - Debray, Warren - 1988
15:   Deriving descriptions of possible values of program variables by means of abstra.. (context) - Janssens, Bruynooghe - 1992
13:   Combined determination of sharing and freeness of program variables through abst.. - Muthukumar, Hermenegildo - 1991
13:   An instance of abstract interpretation integrating type and mode inferencing (context) - Bruynooghe, Janssens - 1988
12:   Abstract interpretation of Prolog programs (context) - Mellish - 1986
12:   An abstract prolog instruction set (context) - Warren - 1983
12:   the practicality of global flow analysis of logic programs (context) - Warren, Hermenegildo et al. - 1988
12:   Analysis of constraint logic programs (context) - Marriott, Sondergaard
11:   The Family of Concurrent Logic Programming Languages (context) - Shapiro - 1989
11:   The Automatic Generation of Mode Declarations for Prolog Programs (context) - Mellish - 1981
11:   And-parallelism of logic programs based on a static data dependency analysis (context) - Chang, Despain et al. - 1985
11:   Guarded Horn Clauses - Ueda - 1986
11:   Prolog and its Performance: Exploiting Independent And-Parallelism (context) - Hermenegildo, Greene - 1990

CiteSeer.IST - Copyright Penn State and NEC