Parallel Evaluation Strategies for Functional Logic Languages

  title={Parallel Evaluation Strategies for Functional Logic Languages},
  • LanguagesSERGIO
  • Published 1997
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 uniiers 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 deene a sequential strategy similar in… CONTINUE READING
Highly Influential
This paper has highly influenced 13 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS


Publications referenced by this paper.
Showing 1-10 of 34 references

De nitional trees

  • S. Antoy
  • Proc. of the 4th Intl. Conf. on Algebraic and…
  • 1992
Highly Influential
4 Excerpts


  • W. Hans
  • S aenz, and St. Winkler. Exploiting Expression…
  • 1995

Similar Papers

Loading similar papers…