cl-banner

CoCo 2016 Participant: ConCon

Thomas Sternagel and Aart Middeldorp

Proceedings 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 Interna-tional Confluence Competition 2016.

 

  PDF

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