Sciweavers

Share
ICLP
1997
Springer

Parallel Evaluation Strategies for Functional Logic Languages

9 years 2 months ago
Parallel Evaluation Strategies for Functional Logic Languages
We introduce novel, sound, complete, and locally optimal evaluation strategies for functional logic programming languages. Our strategies combine, in a non-trivial way, two landmark techniques in this area: the computation of unifiers performed by needed narrowing in inductively sequential rewrite systems and the simultaneous reduction of a necessary set of redexes performed by rewriting in weakly orthogonal, constructor-based rewrite systems. First, we define a sequential strategy similar in scope to other narrowing strategies used in modern lazy functional logic languages. Then, based on the sequential strategy, we define a parallel narrowing strategy that has several noteworthy characteristics: it is the first complete narrowing strategy which evaluates ground expressions in a fully deterministic, optimal way; it computes shortest derivations and minimal sets of solutions on inductively sequential rewrite systems; and when combined with term simplification, it subsumes and imp...
Sergio Antoy, Rachid Echahed, Michael Hanus
Added 08 Aug 2010
Updated 08 Aug 2010
Type Conference
Year 1997
Where ICLP
Authors Sergio Antoy, Rachid Echahed, Michael Hanus
Comments (0)
books