EasyChair Smart SlideDocs/Log in
Title:Confluence Competition 2018
Authors:Takahito Aoto, Makoto Hamana, Nao Hirokawa, Aart Middeldorp, Julian Nagele, Naoki Nishida, Kiraku Shintani and Harald Zankl
Conference:FSCD 2018
Tags:Competition, Confluence and Rewriting
Abstract:

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.

 
Confluence Competition 2018
 
1
2
3
4
5
6
7
8
9
10
11
1of11
1
2
3
4
Copyright © 2002 – 2024 EasyChair