CSI – A Confluence Tool
Harald Zankl, Bertram Felgenhauer, and Aart Middeldorp
Proceedings of the 23rd International Conference on Automated Deduction (CADE 2011), Lecture Notes in Artificial Intelligence 6803, pp. 499 – 505, 2011.
Abstract
This paper describes a new confluence tool for term rewrite systems. Due to its modular design, the few techniques imple-mented so far can be combined flexibly. Methods developed for termination analysis are adapted to prove and disprove confluence. Preliminary experimental results show the potential of our tool.
PDF | doi:10.1007/978-3-642-22438-6_38 | © Springer
@inproceedings{HZBFAM-CADE11,
author = "Harald Zankl and Bertram Felgenhauer and Aart Middeldorp",
title = "CSI -- A Confluence Tool",
booktitle = "Proceedings of the 23rd International Conference on Automated Deduction",
address = "Wroclaw",
series = "Lecture Notes in Artificial Intelligence",
volume = 6803,
pages = "499--505",
year = 2011
}