A Constraint-based Partial Evaluator for Functional Logic Programs and its Application (1998)

by Laura Lafave
Citations:12 - 0 self

Documents Related by Co-Citation

145 A System For Specialising Logic Programs – J. P. Gallagher - 1991
638 Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, P Sestoft - 1993
332 The Integration of Functions into Logic Programming: From Theory to Practice – Michael Hanus - 1994
235 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
80 Narrowing-driven Partial Evaluation of Functional Logic Programs – Maria Alpuente, Moreno Falaschi, German Vidal - 1996
239 Partial evaluation in logic programming – J W Lloyd, J C Shepherdson - 1991
78 On perfect supercompilation – Jens Peter Secher, Morten Heine Sørensen - 1996
19 UPV-Curry User's Manual – S. Escobar, M. Alpuente, S. Lucas
73 An Algorithm of Generalization in Positive Supercompilation – Morten H. Sørensen, Robert Glück - 1995
290 An Implementation of Narrowing Strategies – Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner - 2001
44 Partial Deduction and Driving are Equivalent – Robert Glück, Morten Heine Sørensen - 1994
60 Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance – Bern Martens, John Gallagher - 1995
156 Logic Programming with Functions and Predicates: The language Babel – J Moreno-Navarro, M Rodríguez-Artalejo - 1992
30 de Waal. A conceptual embedding of folding into partial deduction: Towards a maximal integration – M Leuschel, D De Schreye, A - 1996
61 Homeomorphic Embedding for Online Termination – Michael Leuschel - 1998
15 Using an Abstract Representation to Specialize Functional Logic Programs – E Albert, M Hanus, G Vidal - 1955
151 Definitional Trees – Sergio Antoy - 1992
104 Kernel Leaf: A Logic plus Functional Language – E Giovannetti, G Levi, C Moiso, C Palamidessi - 1991
95 A Demand Driven Computation Strategy for Lazy Narrowing – Rita Loogen, Francisco L'opez Fraguas, Mario Rodr'iguez Artalejo - 1993