Search
Now showing items 1-8 of 8
Confluence Competition 2019
(Springer, 2019)
The Confluence Competition (CoCo)4
is an annual competition of software tools
that aim to prove or disprove confluence and related (undecidable) properties
of a variety of rewrite formalisms automatically. Initiated in ...
Cops and CoCoWeb: Infrastructure for Confluence Tools
(Springer Verlag, 2018-06-30)
In this paper we describe the infrastructure supporting confluence tools and competitions: Cops, the confluence problems database, and CoCoWeb, a convenient web interface for tools that participate in the annual confluence ...
Confluence Competition 2018
(Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik, 2018-07-12)
We report on the 2018 edition of the Confluence Competition, a competition of software tools that aim to (dis)prove confluence and related properties of rewrite systems automatically.
Improving automatic confluence analysis of rewrite systems by redundant rules
(2015-06-01)
We describe how to utilize redundant rewrite rules, i.e., rules that can be simulated by other rules, when (dis)proving confluence of term rewrite systems. We demonstrate how automatic confluence provers benefit from the ...
CoCoWeb - A Convenient Web Interface for Confluence Tools
(2017-08-16)
We present a useful web interface for tools that participate in the annual confluence competition.