ARCELLI FONTANA, F., Formato, F. (1995). Implementing Higher-Order Term-Rewriting for Program Transformation in lambdaProlog. In Proceedings of the Joint Conference on Declarative Programming (pp.245-256).

Implementing Higher-Order Term-Rewriting for Program Transformation in lambdaProlog

ARCELLI FONTANA, FRANCESCA;
1995

paper
higher-order logic; program transformation; term-rewriting systems;
English
Joint Conference on Declarative Programming
Proceedings of the Joint Conference on Declarative Programming
1995
245
256
none
ARCELLI FONTANA, F., Formato, F. (1995). Implementing Higher-Order Term-Rewriting for Program Transformation in lambdaProlog. In Proceedings of the Joint Conference on Declarative Programming (pp.245-256).
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/10281/38457
Citazioni
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
Social impact