cl-banner

IaCOP: Interface for the Administration of Cops

Christian Nemeth, Harald Zankl, and Nao Hirokawa

Proceedings of the 1st International Workshop on Confluence (IWC 2012), pp. 21 – 24, 2012.

Abstract

IaCOP maintains the problems considered for the competition of confluence tools. It allows the submission of new problems and supports automatic tagging of problems with certain properties. Problems can be filtered by boolean combinations of tags and the web interface comes with a mechanism to select problems for competitions.

 

  PDF

BibTeX 

@inproceedings{CNHZNH-IWC12,
author = "Christian Nemeth and Harald Zankl and Nao Hirokawa",
title = "{IaCOP}: Interface for the Administration of {Cops}",
booktitle = "Proceedings of the 1st International Workshop on Confluence",
pages = "21--24",
year = 2012
}
Nach oben scrollen