The Third Rewrite Engines Competition

Francisco Durán Manuel Roldan 1 Jean-Christophe Bach 2 Emilie Balland 3 Mark Van den Brand James R. Cordy Steven Eker Luc Engelen Maartje De Jonge Karl Trygve Kalleberg 4 Lennart C.L. Kats Pierre-Etienne Moreau 2 Eelco Visser 5
2 PAREO - Formal islands: foundations and applications
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
3 Phoenix - Programming Language Technology For Communication Services
LaBRI - Laboratoire Bordelais de Recherche en Informatique, Inria Bordeaux - Sud-Ouest, EA4136 - Handicap et système nerveux :Action, communication, interaction: rétablissement de la fonction et de la participation [Bordeaux]
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.
Type de document :
Communication dans un congrès
Peter Csaba Ölveczky. 8th International Workshop on Rewriting Logic and its Applications - WRLA 2010, Mar 2010, Paphos, Cyprus. Springer-Verlag, 6381, pp.243-261, 2010, Lecture Notes in Computer Science; Rewriting Logic and Its Applications. <http://www.springerlink.com/content/436358m836203763/>. <10.1007/978-3-642-16310-4_16>
Liste complète des métadonnées

https://hal.inria.fr/inria-00552037
Contributeur : Jean-Christophe Bach <>
Soumis le : mercredi 5 janvier 2011 - 11:24:30
Dernière modification le : mardi 25 octobre 2016 - 16:57:34

Identifiants

Citation

Francisco Durán, Manuel Roldan, Jean-Christophe Bach, Emilie Balland, Mark Van den Brand, et al.. The Third Rewrite Engines Competition. Peter Csaba Ölveczky. 8th International Workshop on Rewriting Logic and its Applications - WRLA 2010, Mar 2010, Paphos, Cyprus. Springer-Verlag, 6381, pp.243-261, 2010, Lecture Notes in Computer Science; Rewriting Logic and Its Applications. <http://www.springerlink.com/content/436358m836203763/>. <10.1007/978-3-642-16310-4_16>. <inria-00552037>

Partager

Métriques

Consultations de la notice

134