The Third Rewrite Engines Competition
Francisco Durán, Manuel Roldán, Jean-Christophe Bach, Emilie Balland, Mark van den Brand, James R. Cordy, Steven Eker, Luc Engelen, Maartje de Jonge, Karl T. Kalleberg, Lennart C. L. Kats, Pierre-Etienne Moreau, Eelco Visser. The Third Rewrite Engines Competition. Volume 6381 of Lecture Notes in Computer Science, pages 243—261, Springer, 2010. [pdf] [doi] [bib]
Abstract
This paper presents the main results and conclusions of the Third Rewrite Engines Competition (REC III). This edition of the competition took place as part of the 8th Workshop on Rewriting Logic and its Applications (WRLA 2010), and the systems ASF+SDF, Maude, Stratego/XT, Tom, and TXL participated in it.