cl-banner

Confluence Competition 2019

Aart Middeldorp, Julian Nagele, and Kiraku Shintani

Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019, part III), Lecture Notes in Computer Science 11429, pp. 25 – 40, 2019.

Abstract

We report on the 2019 edition of the Confluence Competition, a competition of software tools that aim to prove or disprove confluence and related (undecidable) properties of rewrite systems automatically.

 

  PDF |    doi:10.1007/978-3-030-17502-3_2  

BibTeX 

@inproceedings{MNS-TACAS19,
author = "Aart Middeldorp and Julian Nagele and Kiraku Shintani",
title = "Confluence Competition 2019",
booktitle = "Proceedings of the 25th International Conference on Tools
and Algorithms for the Construction and Analysis of Systems
(Part III)",
editor = "Dirk Beyer and Marieke Huisman and Fabrice Kordon and
Bernhard Steffen",
series = "Lecture Notes in Computer Science",
volume = 11429,
pages = "25--40",
year = 2019,
doi = "10.1007/978-3-030-17502-3_2"
}
Nach oben scrollen