Automatic Mode Inference for Logic Programs (1988)

Cached

Download Links

by Saumya K. Debray , David S. Warren
Venue:Journal of Logic Programming
Citations:72 - 7 self

Active Bibliography

88 Static Inference of Modes and Data Dependencies in Logic Programs – Saumya K. Debray - 1989
35 On the Complexity of Dataflow Analysis of Logic Programs – Saumya K. Debray - 1992
9 Flow analysis of dynamic logic programs – Saumya K. Debray, Saumya K. Debray - 1989
8 Towards banishing the cut from Prolog – Saumya K. Debray, David S. Warren - 1990
49 1983--1993: The Wonder Years of Sequential Prolog Implementation – Peter Van Roy - 1993
Transforming CHIP Programs to KL1 – Design And Implementation, Konstantinos D. Varsamos, Konstantinos D. Varsamos - 1994
R. Orchard et al. (Eds.): IEA/AIE 2004, LNAI 3029, pp. 935-944, 2004. – Springer-Verlag Berlin Heidelberg, Oriana Licchelli, Teresa M. A. Basile, Nicola Di Mauro, Floriana Esposito, Giovanni Semeraro, Stefano Ferilli
An algorithm for incremental . . . – Nicola Di Mauro, Floriana Esposito, Stefano Ferilli, Teresa M. A. Basile - 2004
74 A General Framework for Semantics-based Bottom-up Abstract Interpretation of Logic Programs – Roberto Barbuti, Roberto Giacobazzi, Giorgio Levi - 1993
52 Functional computations in logic programs – Saumya K. Debray, David S. Warren - 1989
24 Unfold/Fold Transformations and Loop Optimization of Logic Programs – Saumya K. Debray - 1988
1 A descriptive Mode Inference for Logic Programs – Ebénézer Ntienjem, Copyright C Fl Eb'en'ezer Ntienjem - 1997
Data-parallel Implementation of Prolog – Johan Bevemyr, Johan Bevemyr - 1996
3 Automated Termination Analysis for Logic Programs – Kirack Sohn - 1993
7 High-level Management of Computation History for the Design and Implementation of a Prolog System – Vincenzo Loia - 1992
9 Layered Modes – Sandro Etalle, Maurizio Gabbrielli - 1999
4 A Toolkit for Static Analysis of Constraint Logic Programs – Hüseyin Saglam - 1997
7 Sequence-Based Abstract Interpretation of Prolog – Baudouin Le Charlier, Sabina Rossi, Pascal, Van Hentenryck - 1997
34 Transformation of Logic Programs – Alberto Pettorossi, Maurizio Proietti - 1998