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:35 - 21 self

Documents Related by Co-Citation

80 Narrowing-driven Partial Evaluation of Functional Logic Programs – Maria Alpuente, Moreno Falaschi, German Vidal - 1996
145 A System For Specialising Logic Programs – J. P. Gallagher - 1991
240 Partial evaluation in logic programming – J Lloyd, J Shepherdson - 1987
571 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
642 Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, P Sestoft - 1993
334 The Integration of Functions into Logic Programming: From Theory to Practice – Michael Hanus - 1994
236 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
156 Logic Programming with Functions and Predicates: The language Babel – J Moreno-Navarro, M Rodríguez-Artalejo - 1992
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
152 Definitional Trees – Sergio Antoy - 1992
291 An Implementation of Narrowing Strategies – Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner - 2001
17 Improving Control in Functional Logic Program Specialization – E. Albert, M. Alpuente, M. Falaschi, P. Julián, G. Vidal - 1998
63 A general criterion for avoiding infinite unfolding during partial deduction – M Bruynooghe, D De Schreye, B Martens - 1992
78 On perfect supercompilation – Jens Peter Secher, Morten Heine Sørensen - 1996
95 A Demand Driven Computation Strategy for Lazy Narrowing – Rita Loogen, Francisco L'opez Fraguas, Mario Rodr'iguez Artalejo - 1993
30 de Waal. A conceptual embedding of folding into partial deduction: Towards a maximal integration – M Leuschel, D De Schreye, A - 1996
752 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
73 An Algorithm of Generalization in Positive Supercompilation – Morten H. Sørensen, Robert Glück - 1995