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

645 Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, P Sestoft - 1993
145 A System For Specialising Logic Programs – J. P. Gallagher - 1991
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
240 Partial evaluation in logic programming – J W Lloyd, J C Shepherdson - 1991
954 T.: Term rewriting and all that – F Baader, Nipkow - 1998
573 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
81 Narrowing-driven Partial Evaluation of Functional Logic Programs – Maria Alpuente, Moreno Falaschi, German Vidal - 1996
294 An Implementation of Narrowing Strategies – Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner - 2001