| | |
Summary: 14th International Conference on Logic Programming (ICLP'94)
Leuven, Belgium, July 1997, MIT Press, pages 138{152.
Parallel Evaluation Strategies
for Functional Logic Languages
Sergio Antoy
Portland State University, Portland, OR 97207, U.S.A.
antoy@cs.pdx.edu
Rachid Echahed
IMAG-LSR, CNRS, BP 53, F-38041 Grenoble, France
echahed@imag.fr
Michael Hanus
RWTH Aachen, Informatik II, D-52056 Aachen, Germany
hanus@informatik.rwth-aachen.de
Abstract
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 uni ers 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.
|
