The Third Rewrite Engines Competition - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

The Third Rewrite Engines Competition

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.

Dates and versions

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

Identifiers

Cite

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⟩
133 View
0 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More