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

667 Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, P Sestoft - 1993
152 A System For Specialising Logic Programs – J. P. Gallagher - 1991
346 The Integration of Functions into Logic Programming: From Theory to Practice – Michael Hanus - 1994
239 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
246 Partial evaluation in logic programming – J W Lloyd, J C Shepherdson - 1991
1006 Term Rewriting and All That – F Baader, T Nipkow - 1998
605 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
83 Narrowing-driven Partial Evaluation of Functional Logic Programs – Maria Alpuente, Moreno Falaschi, German Vidal - 1996
296 An Implementation of Narrowing Strategies – Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner - 2001