The Third Rewrite Engines Competition


Durán, F. et al. (2010). The Third Rewrite Engines Competition. In: Ölveczky, P.C. (eds) Rewriting Logic and Its Applications. WRLA 2010. Lecture Notes in Computer Science, vol 6381. Springer, Berlin, Heidelberg.


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.

Keywords: Program Transformation, Computational Linguistics, Concrete Syntax, Linear Time Temporal Logic, Automatic Translation

Read more from SRI