A Parallel Completion Procedure for Term Rewriting Systems

@inproceedings{Yelick1992APC,
  title={A Parallel Completion Procedure for Term Rewriting Systems},
  author={Katherine A. Yelick and Stephen J. Garland},
  booktitle={CADE},
  year={1992}
}
We present a parallel completion procedure for term rewriting systems Despite an extensive literature concerning the well known sequential Knuth Bendix completion procedure little attention has been devoted to designing parallel com pletion procedures Because naive parallelizations of sequential procedures lead to over synchronization and poor performance we employ a transition based approach that enables more e ective parallelizations The approach begins with a formulation of the completion… CONTINUE READING

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
10 Extracted Citations
21 Extracted References
Similar Papers

Referenced Papers

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

A guide to LP, the Larch Prover

  • S. J. Garland, J. V. Guttag
  • Technical Report 82, Digital Equipment…
  • 1991

Using Abstraction in Explicitly Parallel Programs

  • K. A. Yelick
  • PhD thesis, MIT Laboratory for Computer Science…
  • 1991
2 Excerpts

Similar Papers

Loading similar papers…