Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, and Mario Rodríguez-Artalejo. The functional logic language BABEL and its implementation on a graph machine. New Generation Computing, 14(4):391--427, 1996. [ bib | .html | .ps.gz ]
We investigate the development of a graph narrowing machine for a higher order functional logic language by extension of an appropriate architecture for purely functional languages. To execute logic programs the machine must be capable of unification and backtracking. We show the integration of these mechanisms in a programmed (functional) graph reduction machine. The resulting abstract machine has been realized in C code as part of the implementation of the functional logic language BABEL. A brief introduction to this language is included. Moreover, we show a comparison between BABEL and PROLOG based on the runtimes of some example programs.

Keywords: implementation of funtional logic languages
J.J. Moreno-Navarro, J. Mariño, J. García Martín, Ángel Herranz, and A. del Pozo. Adding type-classes to functional-logic languages. In M. Martelli and M. Navarro, editors, APPIA-GULP-PRODE'96, pages 427--438. Universidad del País Vasco, Summer Courses, Basque Country University, 1996. [ bib ]

This file was generated by bibtex2html 1.98.