The paper investigates the implementation of lazy narrowing in the framework of a graph reduction machine. By extending an appropriate architecture for ...
Jun 2, 2005 · The paper investigates the implementation of lazy narrowing in the framework of a graph reduction machine. By extending an appropriate ...
We describe in this paper a graph narrowing machine that has been designed for the implementation of a higher-order functional logic language. To execute ...
The paper investigates the implementation of lazy narrowing in the framework of a graph reduction machine. By extending an appropriate architecture for ...
Contents. Proceedings of the Second International Conference on Algebraic and Logic Programming. Lazy Narrowing in a Graph Machine. Pages 298 - 317. PREVIOUS ...
This paper investigates and clarifies the formal relation between needed narrowing and the (not so lazy) demand-driven narrowing strategy of [18].
Juan José Moreno-Navarro, Herbert Kuchen, Rita Loogen, Mario Rodríguez-Artalejo Lazy Narrowing in a Graph Machine PPDP, 1990.
A first text on the implementation of lazy Babel is "Lazy Narrowing in a Graph Machine" [1]. This paper also addresses the nontermination problem and proposes a ...
Publikationstyp. Arbeitspapier / Working Paper ; Begutachtet. Nein ; Publikationsstatus. Veröffentlicht ; Jahr. 1990 ; Reihe. Aachener Informatik-Berichte (AIB).
This paper presents an improvement of lazy narrowing by incorporating deterministic simplification steps into lazy narrowing derivations. ... Lazy narrowing in a ...