Semantic Confluence Tests and Completion Methods

@article{Plaisted1985SemanticCT,
  title={Semantic Confluence Tests and Completion Methods},
  author={David A. Plaisted},
  journal={Information and Control},
  year={1985},
  volume={65},
  pages={182-215}
}
We present semantic methods for showing that a term-rewriting system is confluent. We also present methods for completing a given term-rewriting system to obtain an equivalent confluent system. These methods differ from the well-known and widely studied Knuth-Bendix method in that they emphasize semantics rather than syntax. Also, they often require more user interaction than the purely syntactic Knuth-Bendix method. The concept of "ground confluence" is discussed; methods for demonstrating… CONTINUE READING
Highly Influential
This paper has highly influenced 10 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Topics from this paper.
66 Citations
44 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 66 extracted citations

References

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

Programming with parameterized abstracts objects in OBJ, in "Theory and Practise of Software Technology

  • J. GOGUEN, J. MESEGUER, D. PLAISTED
  • 1982
Highly Influential
3 Excerpts

Algebra." Addison-Wesley, Reading, Mass

  • S. LANG
  • 1970
Highly Influential
2 Excerpts

Principles of OBJ 2, in "Conference

  • Record of the Twelfth Annual ACM Symposium on…
  • 1985
1 Excerpt

Similar Papers

Loading similar papers…