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

Documents Related by Co-Citation

1878 Abstract Interpretation: a Unified Lattice Model for Static – P Cousot, R Cousot
72 Abstract Interpretation of Prolog Programs – C S Mellish - 1987
103 A relational framework for abstract interpretation – A Mycroft, N Jones - 1985
1858 Foundation of Logic Programming – J W Lloyd - 1987
628 Systematic design of program analysis frameworks – Patrick Cousot, Radhia Cousot - 1979
52 Functional computations in logic programs – Saumya K. Debray, David S. Warren - 1989
72 Denotational abstract interpretation of logic programs – K Marriott, H S√łndergaard, N D Jones - 1994
574 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
33 Semantics-based dataflow analysis of logic programs – Kim Marriott, Harald S√łndergaard - 1989
184 Contributions to the theory of logic programming – K R Apt, M H Van Emden - 1982
54 Denotational and operational semantics for prolog – Saumya K. Debray, Prateek Mishra - 1988
61 Implementing PROLOG - compiling predicate logic programs, Research Reports Nos. 39 and 40 – D H D Warren - 1977
40 Automatic Generation of Mode Declarations for Prolog Programs (draft – C S Mellish - 1981
56 Bottom-up abstract interpretation of logic programs – Michael Codish, Dennis Dams, Eyal Yardeni - 1994
31 Specialisation of Prolog and FCP Programs Using Abstract Interpretation – J Gallagher, M Codish, E Shapiro
286 Abstract interpretation and application to logic programs – Patrick Cousot, Radhia Cousot - 1992
195 A practical framework for the abstract interpretation of logic programs – Bruynooghe - 1991
122 Derivation of logic programs – C J Hogger - 1981
8 Some Global Optimizations for a Prolog – C S Mellish - 1985