A Transformation System for Lazy Functional Logic Programs (1999)

Cached

Download Links

by Maria Alpuente , Moreno Falaschi , Gines Moreno , German Vidal
Citations:18 - 12 self

Documents Related by Co-Citation

294 An Implementation of Narrowing Strategies – Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner - 2001
336 The Integration of Functions into Logic Programming: From Theory to Practice – Michael Hanus - 1994
73 Towards an automated tupling strategy – Wei-Ngan Chin - 1993
755 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
574 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
153 Definitional Trees – Sergio Antoy - 1992
11 Safe Folding/Unfolding with Conditional Narrowing – Maria Alpuente, Moreno Falaschi, Gines Moreno, German Vidal - 1997
213 Unfold/fold transformation of logic programs – H Tamaki, T Sato - 1984
160 Logic Programming with Functions and Predicates: The Language BABEL – J Moreno-Navarro, M Rodríguez-Artalejo - 1992
76 Rules and Strategies for Transforming Functional and Logic Programs – A. Pettorossi, M. Proietti, R. Dicembre - 1996
53 Curry: A Truly Functional Logic Language – Michael Hanus, Herbert Kuchen, Juan José Moreno-Navarro - 1995
944 Term Rewriting and All That – Franz Baader, Tobias Nipkow - 1998
82 Narrowing-driven Partial Evaluation of Functional Logic Programs – Maria Alpuente, Moreno Falaschi, German Vidal - 1996
29 Program transformation – J Darlington
403 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
87 Computations in orthogonal rewriting systems – G Huet, J Lévy - 1992
21 Specialization of Inductively Sequential Functional Logic Programs – María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal - 1999
32 A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages – Elvira Albert, Michael Hanus - 2002
139 Transformation of logic programs: foundations and techniques. Journal of Logic Programming – A Pettorossi, M Proietti - 1994