A Transformation System for Lazy Functional Logic Programs (1999)

Cached

Download Links

by Maria Alpuente , Moreno Falaschi , Gines Moreno , German Vidal
Citations:19 - 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
751 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
573 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
954 T.: Term rewriting and all that – F Baader, Nipkow - 1998
153 Definitional Trees – Sergio Antoy - 1992
73 Towards an automated tupling strategy – Wei-Ngan Chin - 1993
645 Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, P Sestoft - 1993
212 Unfold/fold transformation of logic programs – H Tamaki, T Sato - 1984