The paper introduces a graph reduction based model for defining a formal implementation of a Prolog compatible, functional language.
A Formal Model for Lazy Implementation of a Prolog Compatible Functional Language
BELLIA, MARCO;DEGANO, PIERPAOLO;LEVI, GIORGIO;
1984-01-01
Abstract
The paper introduces a graph reduction based model for defining a formal implementation of a Prolog compatible, functional language.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.
