Needed narrowing is a complete operational principle for modern declarative languages which integrate the best features of (lazy) functional and logic programming. We define a transformation methodology for functional logic programs based on needed narrowing. We provide (strong) correctness results for the transformation system w.r.t. the set of computed values and answer substitutions and show that the prominent properties of needed narrowing -namely, the optimality w.r.t. the length of derivations and the number of computed solutions- carry over to the transformation process and the transformed programs. We illustrate the power of the system by taking on in our setting two well-known transformation strategies (composition and tupling). We also provide an implementation of the transformation system which, by means of some experimental results, highlights the benefits of our approach. © Springer-Verlag Berlin Heidelberg 1999.

Alpuente, M., Falaschi, M., Moreno, G., Vidal, G. (1999). A Transformation System for Lazy Functional Logic Programs. In 4th Fuji International Symposium on Functional and Logic Programming, FLOPS 1999 (pp.147-162). Sato : Middeldorp A..

A Transformation System for Lazy Functional Logic Programs

FALASCHI, MORENO;
1999-01-01

Abstract

Needed narrowing is a complete operational principle for modern declarative languages which integrate the best features of (lazy) functional and logic programming. We define a transformation methodology for functional logic programs based on needed narrowing. We provide (strong) correctness results for the transformation system w.r.t. the set of computed values and answer substitutions and show that the prominent properties of needed narrowing -namely, the optimality w.r.t. the length of derivations and the number of computed solutions- carry over to the transformation process and the transformed programs. We illustrate the power of the system by taking on in our setting two well-known transformation strategies (composition and tupling). We also provide an implementation of the transformation system which, by means of some experimental results, highlights the benefits of our approach. © Springer-Verlag Berlin Heidelberg 1999.
1999
354066677X
Alpuente, M., Falaschi, M., Moreno, G., Vidal, G. (1999). A Transformation System for Lazy Functional Logic Programs. In 4th Fuji International Symposium on Functional and Logic Programming, FLOPS 1999 (pp.147-162). Sato : Middeldorp A..
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11365/36328
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo