Parallel Evaluation Strategies for Functional Logic Languages

@inproceedings{LanguagesSERGIO1997ParallelES,
  title={Parallel Evaluation Strategies for Functional Logic Languages},
  author={LanguagesSERGIO},
  year={1997}
}
  • 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

References

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

F

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

Similar Papers

Loading similar papers…