Conditional Confluence (System Description)
Authors: Thomas Sternagel and Aart Middeldorp
Paper Information
| Title: | Conditional Confluence (System Description) |
| Authors: | Thomas Sternagel and Aart Middeldorp |
| Proceedings: | RTA-TLCA 2014 LNCS Proceedings |
| Editor: | Gilles Dowek |
| Keywords: | conditional term rewriting, confluence, automation |
| Abstract: | ABSTRACT. This paper describes the Conditional Confluence tool, a fully automatic confluence checker for first-order conditional term rewrite systems. The tool implements various confluence criteria that have been proposed in the literature. A simple technique is presented to test conditional critical pairs for infeasibility, which makes conditional confluence criteria more useful. Detailed experimental data is presented. |
| Pages: | 10 |
| Talk: | Jul 14 18:00 |
| Paper: |  |