Download:
|
by Herbert Kuchen, Rwth Aachen, Francisco Javier L'opez-fraguas
http://sunsite.informatik.rwth-aachen.de/Publications/AIB/1992/92-21.ps.gz
Add To MetaCart
Abstract:
In a functional logic language, especially in a constraint functional logic language, often the topmost constructor is known which an expression should be evaluated to. E.g. in a guarded expression b! e, b should only be evaluated to true. Evaluating b to false would only waste resources and risk to run into an infinite computation. Hence, some kind of result directed computation can be used to reduce the search space by cutting uninteresting computations. One possibility to achieve this result direction is to integrate it into the abstract machine which is the basis for the runtime system. Here, we show how to achieve result directed computation by means of a program transformation. A runtime system without special facilities for result directed computing can be used to run the transformed programs. Thus, runtime overhead for result directed computing is avoided. 1
Citations
|
195
|
Warren’s Abstract Machine: A Tutorial Reconstruction
– Ait-Kaci
- 1991
|
|
176
|
Logic Programming with Functions and Predicates: The language Babel
– Moreno-Navarro, Rodr'iguez-Artalejo
- 1992
|
|
101
|
Narrowing as the Operational Semantics of Functional Languages
– Reddy
- 1985
|
|
76
|
A Theory of Type Polymorphism
– Milner
- 1978
|
|
61
|
Compiling Logic Programs with Equality
– Hanus
- 1990
|
|
45
|
The Relation between Logic and Functional Languages: a Survey
– Bellia, Levi
- 1986
|
|
36
|
Graph-based Implementation of a Functional Logic Language
– Kuchen, Loogen, et al.
- 1990
|
|
21
|
On the interaction of lazy evaluation and backtracking
– Hans, Loogen, et al.
- 1992
|
|
14
|
Dynamic Detection of Determinism
– Winkler
- 1991
|
|
10
|
Rodr'iguez-Artalejo: BABEL: A functional and logic language based and constructor discipline and narrowing
– Moreno-Navarro, M
- 1989
|
|
9
|
A Complete Indexing Scheme for WAM-based Abstract Machines
– Hans
- 1992
|
|
9
|
From Reduction Machines to Narrowing
– Loogen
- 1991
|
|
8
|
Rodr'iguez-Artalejo: Lazy Narrowing in a Graph
– Navarro, Kuchen, et al.
- 1990
|
|
7
|
Sofi: Implementation of a Parallel Logic Plus Functional Language
– Balboni, Bosco, et al.
- 1989
|
|
6
|
Palamidessi: Using Resolution for a Sound and Efficient
– Bosco, Cecchi, et al.
- 1989
|
|
4
|
Rodr'iguezArtalejo: Implementing Disequality in a Lazy Functional Logic Language
– Kuchen, L'opez-Fraguas, et al.
- 1992
|
|
3
|
Rodr'iguez-Artalejo: GraphNarrowing to Implement a Functional Logic Language
– Kuchen, Loogen, et al.
- 1992
|
|
2
|
An Abstract Instruction Set, Technical Note 309, SRI
– Warren
- 1983
|
