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.
1998
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].
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