CoCo 2016 Participant: ConCon
Thomas Sternagel and Aart MiddeldorpProceedings of the 5th International Workshop on Confluence (IWC 2016), pp. 81, 2016.
Abstract
We describe the features of ConCon, a confluence checker for conditional rewrite systems, which participated in the International Confluence Competition 2016.
BibTeX
@inproceedings{TSAM-IWC16, author = "Thomas Sternagel and Aart Middeldorp", title = "{CoCo} 2016 Participant: {ConCon}", booktitle = "Proceedings of the 5th International Workshop on Confluence", editor = "Beniamino Accattoli and Ashish Tiwari", pages = 81, year = 2016 }