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