cl-banner

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

BibTeX 

@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
}
Nach oben scrollen