Article ID Journal Published Year Pages File Type
424099 Electronic Notes in Theoretical Computer Science 2009 11 Pages PDF
Abstract

The Second Rewrite Engines Competition (REC) was celebrated as part of the 7th Workshop on Rewriting Logic and its Applications (WRLA 2008). In this edition of the competition participated five systems, namely ASF+SDF, Maude, Stratego/XT, TermWare, and Tom. We explain here how the competition was organized and conducted, and present its main results and conclusions.

Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics