The Third Rewrite Engines Competition

Francisco Durán; Manuel Roldan; Jean-Christophe Bach; Emilie Balland; Mark Van Den Brand; James R. Cordy; Steven Eker; Luc Engelen; Maartje De Jonge; Karl Trygve Kalleberg; Lennart C.L. Kats; Pierre-Etienne Moreau; Eelco Visser

inria-00552037, version 1

The Third Rewrite Engines Competition

Francisco Durán, Manuel Roldan ¹, Jean-Christophe Bach () ², Emilie Balland () ³, Mark Van Den Brand^a^, 4, James R. Cordy, Steven Eker, Luc Engelen, Maartje De Jonge, Karl Trygve Kalleberg ⁵, Lennart C.L. Kats, Pierre-Etienne Moreau () ², Eelco Visser ⁶

8th International Workshop on Rewriting Logic and its Applications - WRLA 2010 6381 (2010) 243-261

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.

a – CWI
1 : Departamento Lenguajes y Ciencias de la Computación [Malaga] (LCC)
Universidad de Málaga
2 : PAREO (INRIA Lorraine - LORIA)
INRIA – CNRS : UMR7503 – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL)
3 : PHOENIX (INRIA Bordeaux - Sud-Ouest)
INRIA – Université Sciences et Technologies - Bordeaux I – École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB) – CNRS : UMR
4 : Eindhoven University of Technology
Eindhoven University of Technology
5 : Department of Informatics
University of Bergen
6 : Computer Engineering - Delft University of Technology (CE)
Delft University of Technology

inria-00552037, version 1
http://hal.inria.fr/inria-00552037
oai:hal.inria.fr:inria-00552037
Contributeur : Jean-Christophe Bach <>
Soumis le : Mercredi 5 Janvier 2011, 11:24:30
Dernière modification le : Jeudi 6 Janvier 2011, 10:59:22

Voir la fiche détaillée

Documents associés

DOI : 10.1007/978-3-642-16310-4_16

Texte intégral chez l'éditeur

Exporter

Bibtex EndNote TEI RefWorks

<?xml version="1.0" encoding="UTF-8"?>
<listBibl xmlns="http://www.tei-c.org/ns/1.0" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML">
<listBibl type="inproceedings"><head>Communications avec actes</head>
<biblStruct type="inproceedings" xml:id="inria-00552037"><analytic>
<author><persName><forename>Francisco</forename><surname>Durán</surname></persName></author>
<author><persName><forename>Manuel</forename><surname>Roldan</surname></persName>
<affiliation>
<orgName type="laboratory">LCC</orgName>
<orgName type="team">Departamento Lenguajes y Ciencias de la Computación [Malaga]</orgName>
<country>ES</country>
<orgName type="institution">Universidad de Málaga</orgName>
</affiliation>
</author>
<author><persName><forename>Jean-Christophe</forename><surname>Bach</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Lorraine - LORIA</orgName>
<orgName type="team">PAREO</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">CNRS : UMR7503</orgName>
<orgName type="institution">Université Henri Poincaré - Nancy I</orgName>
<orgName type="institution">Université Nancy II</orgName>
<orgName type="institution">Institut National Polytechnique de Lorraine (INPL)</orgName>
</affiliation>
</author>
<author><persName><forename>Emilie</forename><surname>Balland</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Bordeaux - Sud-Ouest</orgName>
<orgName type="team">PHOENIX</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Université Sciences et Technologies - Bordeaux I</orgName>
<orgName type="institution">École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)</orgName>
<orgName type="institution">CNRS : UMR</orgName>
</affiliation>
</author>
<author><persName><forename>Mark</forename><surname>Van Den Brand</surname></persName>
<affiliation>
<orgName type="team">Eindhoven University of Technology</orgName>
<country>NL</country>
<orgName type="institution">Eindhoven University of Technology</orgName>
</affiliation>
</author>
<author><persName><forename>James R.</forename><surname>Cordy</surname></persName></author>
<author><persName><forename>Steven</forename><surname>Eker</surname></persName></author>
<author><persName><forename>Luc</forename><surname>Engelen</surname></persName></author>
<author><persName><forename>Maartje</forename><surname>De Jonge</surname></persName></author>
<author><persName><forename>Karl</forename><surname>Trygve Kalleberg</surname></persName>
<affiliation>
<orgName type="team">Department of Informatics</orgName>
<country>NO</country>
<orgName type="institution">University of Bergen</orgName>
</affiliation>
</author>
<author><persName><forename>Lennart C.L.</forename><surname>Kats</surname></persName></author>
<author><persName><forename>Pierre-Etienne</forename><surname>Moreau</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Lorraine - LORIA</orgName>
<orgName type="team">PAREO</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">CNRS : UMR7503</orgName>
<orgName type="institution">Université Henri Poincaré - Nancy I</orgName>
<orgName type="institution">Université Nancy II</orgName>
<orgName type="institution">Institut National Polytechnique de Lorraine (INPL)</orgName>
</affiliation>
</author>
<author><persName><forename>Eelco</forename><surname>Visser</surname></persName>
<affiliation>
<orgName type="laboratory">CE</orgName>
<orgName type="team">Computer Engineering - Delft University of Technology</orgName>
<country>NL</country>
<orgName type="institution">Delft University of Technology</orgName>
</affiliation>
</author>
<title type="main" level="a">The Third Rewrite Engines Competition</title></analytic><monogr><meeting>8th International Workshop on Rewriting Logic and its Applications - WRLA 2010</meeting><imprint><publisher>Springer-Verlag</publisher><pubPlace><settlement>Paphos</settlement><country>Chypre</country></pubPlace><biblScope type="publicationDate">2010-00-00</biblScope><biblScope type="vol">6381</biblScope><biblScope type="pp">243-261</biblScope></imprint></monogr><idno type="doi">10.1007/978-3-642-16310-4_16</idno><idno type="HALid">http://hal.inria.fr/inria-00552037</idno></biblStruct>
</listBibl>
</listBibl>