Author:
González Soledad,Moreno Ginés
Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. LNCS;M. Alpuente,2000
2. Alpuente, M., Falaschi, M., Moreno, G., Vidal, G.: Rules+Strategies for Transforming Lazy Functional Logic Programs. Theoretical Computer Science 311, 479–525 (2004)
3. Antoy, S., Echahed, R., Hanus, M.: A Needed Narrowing Strategy. In: Proc. 21st ACM Symp. on POPL, Portland, pp. 268–279. ACM Press, New York (1994)
4. Bird, R.S.: Tabulation techniques for recursive programs. ACM Computing Surveys 12(4), 403–418 (1980)
5. Burstall, R.M., Darlington, J.: A Transformation System for Developing Recursive Programs. Journal of the ACM 24(1), 44–67 (1977)