|
273
|
An Implementation of Narrowing Strategies
– Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner
- 2001
|
|
317
|
The Integration of Functions into Logic Programming: From Theory to Practice
– Michael Hanus
- 1994
|
|
71
|
Towards an automated tupling strategy
– Wei-Ngan Chin
- 1993
|
|
723
|
Inductive-Data-Type Systems
– Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada
- 2002
|
|
533
|
A Transformation System for Developing Recursive Programs
– R. M. Burstall, John Darlington
- 1977
|
|
138
|
Definitional Trees
– Sergio Antoy
- 1992
|
|
10
|
Safe Folding/Unfolding with Conditional Narrowing
– Maria Alpuente, Moreno Falaschi, Gines Moreno, German Vidal
- 1997
|
|
201
|
Unfold/Fold Transformation of Logic Programs
– Hisao Tamaki, Taisuke Sato
- 1984
|
|
155
|
Logic programming with functions and predicates: The language BABEL
– J J Moreno-Navarro, M Rodriguez-Artalejo
- 1992
|
|
68
|
Rules and Strategies for Transforming Functional and Logic Programs
– A. Pettorossi, M. Proietti, R. Dicembre
- 1996
|
|
44
|
Curry: A Truly Functional Logic Language
– Michael Hanus, Herbert Kuchen, Juan José Moreno-Navarro
- 1995
|
|
824
|
Term Rewriting and All That
– F Baader, T Nipkow
- 1998
|
|
77
|
Narrowing-driven Partial Evaluation of Functional Logic Programs
– Maria Alpuente, Moreno Falaschi, German Vidal
- 1996
|
|
29
|
Program transformation
– J Darlington
|
|
375
|
Deforestation: Transforming programs to eliminate trees
– Philip Wadler
- 1990
|
|
86
|
Computations in orthogonal rewriting systems
– G Huet, J Lévy
- 1991
|
|
21
|
Specialization of Inductively Sequential Functional Logic Programs
– María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal
- 1999
|
|
30
|
A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages
– Elvira Albert, Michael Hanus
- 2002
|
|
134
|
Transformation of logic programs: Foundations and techniques
– A Pettorossi, M Proietti
- 1994
|
