DMCA
A Demand Driven Computation Strategy for Lazy Narrowing (1993)
Cached
Download Links
- [www.mathematik.uni-marburg.de]
- [mozart.sip.ucm.es]
- DBLP
Other Repositories/Bibliography
| Venue: | In Proc. of the 5th International Symposium on Programming Language Implementation and Logic Programming |
| Citations: | 95 - 8 self |
BibTeX
@INPROCEEDINGS{Loogen93ademand,
author = {Rita Loogen and Francisco L'opez Fraguas and Mario Rodr'iguez Artalejo},
title = {A Demand Driven Computation Strategy for Lazy Narrowing},
booktitle = {In Proc. of the 5th International Symposium on Programming Language Implementation and Logic Programming},
year = {1993},
pages = {184--200},
publisher = {Springer}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
. Many recent proposals for the integration of functional and logic programming use conditional term rewriting systems (CTRS) as programs and narrowing as goal solving mechanism. This paper specifies a computation strategy for lazy conditional narrowing, based on the idea of transforming patterns into decision trees to control the computation. The specification is presented as a translation of CTRS into Prolog, which makes it executable and portable. Moreover, in comparison to related approaches, our method works for a wider class of CTRS. 1 Introduction Many recent approaches to the integration of functional and logic programming take conditional term rewriting systems (CTRS) as programs and narrowing as goal solving mechanism. Narrowing is complete as an equation solving procedure, under suitable hypotheses, see e.g. [7]. In general, narrowing has a high degree of (don't know) nondeterminism, due to two different sources: the choice of the redex, and the choice of the rewriting rule...
Keyphrases
lazy narrowing demand driven computation strategy different source introduction many recent approach suitable hypothesis decision tree computation strategy high degree logic programming use conditional term take conditional term lazy conditional narrowing many recent proposal related approach rewriting rule
