The Third Rewrite Engines Competition - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

The Third Rewrite Engines Competition

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.

Dates et versions

inria-00552037 , version 1 (05-01-2011)

Identifiants

Citer

Francisco Durán, Manuel Roldan, Jean-Christophe Bach, Emilie Balland, Mark van den Brand, et al.. The Third Rewrite Engines Competition. 8th International Workshop on Rewriting Logic and its Applications - WRLA 2010, Mar 2010, Paphos, Cyprus. pp.243-261, ⟨10.1007/978-3-642-16310-4_16⟩. ⟨inria-00552037⟩
132 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More