The Third Rewrite Engines Competition
Francisco Durán
(1)
,
Manuel Roldan
(1)
,
Jean-Christophe Bach
(2)
,
Emilie Balland
(3)
,
Mark van den Brand
(4)
,
James R. Cordy
(5)
,
Steven Eker
(6)
,
Luc Engelen
(4)
,
Maartje de Jonge
(7)
,
Karl Trygve Kalleberg
(8)
,
Lennart C.L. Kats
(7)
,
Pierre-Etienne Moreau
(2)
,
Eelco Visser
(7)
1
LCC -
Departamento Lenguajes y Ciencias de la Computación [Malaga]
2 PAREO - Formal islands: foundations and applications
3 Phoenix - Programming Language Technology For Communication Services
4 Department of Mathematics and Computer Science [Eindhoven]
5 Queen's University [Kingston, Canada]
6 SRI - SRI International [Menlo Park]
7 CE - Computer Engineering - Delft University of Technology
8 UiB - Department of Informatics [Bergen]
2 PAREO - Formal islands: foundations and applications
3 Phoenix - Programming Language Technology For Communication Services
4 Department of Mathematics and Computer Science [Eindhoven]
5 Queen's University [Kingston, Canada]
6 SRI - SRI International [Menlo Park]
7 CE - Computer Engineering - Delft University of Technology
8 UiB - Department of Informatics [Bergen]
Jean-Christophe Bach
- Fonction : Auteur
- PersonId : 915
- IdHAL : jcbach
- ORCID : 0000-0001-6986-1093
- IdRef : 181557193
Emilie Balland
- Fonction : Auteur
- PersonId : 864986
Pierre-Etienne Moreau
- Fonction : Auteur
- PersonId : 831023
Résumé
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.