Juan José Moreno-Navarro, Herbert Kuchen, Rita Loogen, and Mario Rodríguez-Artalejo. Lazy narrowing in a graph machine. In H. Kichner and W. Wechler, editors, 2nd International Conference on Algebraic and Logic Programming, Nancy (France), pages 298--317. CRIN (Centre de Recherche en Informatique de Nancy), LNCS, Springer Verlag, October 1990. [ bib | .ps.gz ]
The paper investigates the implementation of lazy narrowing in the framework of a graph reduction machine. By extending an appropriate architecture for purely functional languages an abstract graph narrowing machine for a functional logic language is constructed. The machine is capable of performing unification and backtracking. The techniques used in functional languages to cope with lazy evaluation are not directly applicable, but must be modified due to the logic component of the implemented language. A prototype implementation of the new machine has been developed.

Keywords: implementation of functional logic languages, lazy narrowing
Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, and Mario Rodríguez-Artalejo. Graph-based implementation of a functional logic language. In N. Jones, editor, Proceedings of the 3rd Symposium on Programming, volume 432, Berlin, 1990. Springer-Verlag. [ bib | .html | .ps.gz ]
We investigate the development of a graph reduction machine for a higher-order functional logic language by extension of an appropiate architecture for purely functional languages. To execute logic programs the machine must be capable of perfoming unification and backtracking. We show the integration of these mechanisms in a programmed (functional) graph reduction machine. The new machine has been implemented on a transputer system.

Keywords: implementation of funtional logic languages, narrowing

This file was generated by bibtex2html 1.98.