Abstract | ||
---|---|---|
The paper investigates the implementation of lazy narrowing in the framework of a graphreduction machine. By extending an appropriate architecture for purely functional languages anabstract graph narrowing machine for a functional logic language is constructed. The machine iscapable of performing unification and backtracking. The techniques used in functional languagesto cope with lazy evaluation are not directly applicable, but must be modified due to the logiccomponent of the implemented ... |
Year | DOI | Venue |
---|---|---|
1990 | 10.1007/3-540-53162-9_47 | ALP |
Keywords | Field | DocType |
graph machine,lazy evaluation,functional language | Programming language,Functional programming,Computer science,Unification,Program counter,Lazy evaluation,Strict programming language,Logic programming,Backtracking,Graph reduction | Conference |
Volume | ISBN | Citations |
463 | 3-540-53162-9 | 37 |
PageRank | References | Authors |
2.52 | 14 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Juan José Moreno-navarro | 1 | 379 | 42.47 |
Herbert Kuchen | 2 | 630 | 70.82 |
Rita Loogen | 3 | 598 | 42.21 |
Mario Rodríguez-Artalejo | 4 | 716 | 59.70 |