Specialization of Lazy Functional Logic Programs (1997)

by Maria Alpuente , Moreno Falaschi , Pascual Julián , German Vidal
Venue:IN PROC. OF THE ACM SIGPLAN CONF. ON PARTIAL EVALUATION AND SEMANTICS-BASED PROGRAM MANIPULATION, PEPM'97, VOLUME 32, 12 OF SIGPLAN NOTICES
Citations:37 - 23 self

Documents Related by Co-Citation

82 Narrowing-driven Partial Evaluation of Functional Logic Programs – Maria Alpuente, Moreno Falaschi, German Vidal - 1996
147 A System For Specialising Logic Programs – J. P. Gallagher - 1991
241 Partial evaluation in logic programming – J W Lloyd, J C Shepherdson - 1991
336 The Integration of Functions into Logic Programming: From Theory to Practice – Michael Hanus - 1994
160 Logic Programming with Functions and Predicates: The Language BABEL – J Moreno-Navarro, M Rodríguez-Artalejo - 1992
574 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
641 P.: Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, Sestoft - 1993
294 An Implementation of Narrowing Strategies – Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner - 2001
237 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
153 Definitional Trees – Sergio Antoy - 1992
99 A Demand Driven Computation Strategy for Lazy Narrowing – Rita Loogen, Francisco L'opez Fraguas, Mario Rodr'iguez Artalejo - 1993
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
108 Kernel LEAF: a logic plus functional language, The – E Giovannetti, G Levi, C Moiso, C Palamidessi - 1991
31 de Waal. A conceptual embedding of folding into partial deduction: Towards a maximal integration – M Leuschel, D De Schreye, A - 1996
755 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
63 A general criterion for avoiding infinite unfolding during partial deduction – M BRUYNOOGHE, D DE SCHREYE, B MARTENS - 1992
18 Improving Control in Functional Logic Program Specialization – E. Albert, M. Alpuente, M. Falaschi, P. Julián, G. Vidal - 1998
79 On perfect supercompilation – Jens Peter Secher, Morten Heine Sørensen - 1996