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

147 A System For Specialising Logic Programs – J. P. Gallagher - 1991
641 P.: Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, Sestoft - 1993
336 The Integration of Functions into Logic Programming: From Theory to Practice – Michael Hanus - 1994
237 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
82 Narrowing-driven Partial Evaluation of Functional Logic Programs – Maria Alpuente, Moreno Falaschi, German Vidal - 1996
241 Partial evaluation in logic programming – J W Lloyd, J C Shepherdson - 1991
79 On perfect supercompilation – Jens Peter Secher, Morten Heine Sørensen - 1996
20 UPV-Curry User's Manual – S. Escobar, M. Alpuente, S. Lucas - 2000
74 An Algorithm of Generalization in Positive Supercompilation – Morten H. Sørensen, Robert Glück - 1995
294 An Implementation of Narrowing Strategies – Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner - 2001
46 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
31 de Waal. A conceptual embedding of folding into partial deduction: Towards a maximal integration – M Leuschel, D De Schreye, A - 1996
160 Logic Programming with Functions and Predicates: The Language BABEL – J Moreno-Navarro, M Rodríguez-Artalejo - 1992
61 Homeomorphic Embedding for Online Termination – Michael Leuschel - 1998
153 Definitional Trees – Sergio Antoy - 1992
15 Using an Abstract Representation to Specialize Functional Logic Programs – E Albert, M Hanus, G Vidal - 1955
108 Kernel LEAF: a logic plus functional language, The – E Giovannetti, G Levi, C Moiso, C Palamidessi - 1991
99 A Demand Driven Computation Strategy for Lazy Narrowing – Rita Loogen, Francisco L'opez Fraguas, Mario Rodr'iguez Artalejo - 1993