Summary: 14th International Conference on Logic Programming (ICLP'94)
Leuven, Belgium, July 1997, MIT Press, pages 138152.
Parallel Evaluation Strategies
for Functional Logic Languages
Portland State University, Portland, OR 97207, U.S.A.
IMAG-LSR, CNRS, BP 53, F-38041 Grenoble, France
RWTH Aachen, Informatik II, D-52056 Aachen, Germany
We introduce novel, sound, complete, and locally optimal evaluation strate-
gies 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 per-
formed by rewriting in weakly orthogonal, constructor-based rewrite systems.