Lazy Narrowing in a Graph Machine (1990)
Cached
Download Links
- [sunsite.informatik.rwth-aachen.de]
- [lml.ls.fi.upm.es]
- [www.mathematik.uni-marburg.de]
- DBLP
Other Repositories/Bibliography
by
Juan Jos'e Moreno-Navarro
,
Herbert Kuchen
,
Rita Loogen
| Citations: | 36 - 4 self |
BibTeX
@MISC{Moreno-Navarro90lazynarrowing,
author = {Juan Jos'e Moreno-Navarro and Herbert Kuchen and Rita Loogen},
title = {Lazy Narrowing in a Graph Machine},
year = {1990}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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.
