We give a general introduction to the particular problems associated with the partial evaluation of functional logic programs, explain the relationship with similar techniques for functional and logic languages, and show that it is useful to transfer the technology of narrowing into a technique for driving specialization in integrated languages.
Alpuente, M., Falaschi, M., Vidal, G. (1998). A Unifying View of Functional and Logic Program Specialization. ACM COMPUTING SURVEYS, 30(3es), 9es [10.1145/289121.289130].
A Unifying View of Functional and Logic Program Specialization
FALASCHI, MORENO;
1998-01-01
Abstract
We give a general introduction to the particular problems associated with the partial evaluation of functional logic programs, explain the relationship with similar techniques for functional and logic languages, and show that it is useful to transfer the technology of narrowing into a technique for driving specialization in integrated languages.
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/38171
Attenzione
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo