The Second Rewrite Engines Competition

Authors:
Francisco Durán;Manuel Roldán;Emilie Balland;Mark van den Brand;Steven Eker;Karl Trygve Kalleberg;Lennart C. L. Kats;Pierre-Etienne Moreau;Ruslan Schevchenko;Eelco Visser
Affiliations:
Dpt. de Lenguajes y Ciencias de la Computación, Universidad de Málaga, Málaga, Spain;Dpt. de Lenguajes y Ciencias de la Computación, Universidad de Málaga, Málaga, Spain;Centre de recherche INRIA Nancy - Grand Est, Villers-lès-Nancy Cedex, France;Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands;Computer Science Laboratory, SRI International, Menlo Park, CA, USA;University of Bergen, Bergen, Norway;Department of Software Technology, Delft University of Technology, The Netherlands;Centre de recherche INRIA Nancy - Grand Est, Villers-lès-Nancy Cedex, France;Institute of Software Systems, National Academy of Sciences of Ukraine, Kiev, Ukraine;Department of Software Technology, Delft University of Technology, The Netherlands
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2009

Citing 7
Cited 1

Compiling language definitions: the ASF+SDF compiler

ACM Transactions on Programming Languages and Systems (TOPLAS)
Maude: specification and programming in rewriting logic

Theoretical Computer Science - Rewriting logic and its applications
A Rewriting Framework for Rule-Based Programming Dynamic Applications

Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Rewriting Logic Systems

Electronic Notes in Theoretical Computer Science (ENTCS)
Stratego/XT 0.17. A language and toolset for program transformation

Science of Computer Programming
Tom: piggybacking rewriting on java

RTA'07 Proceedings of the 18th international conference on Term rewriting and applications
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic

All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic

The third rewrite engines competition

WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications

Quantified Score

Hi-index	0.00

Visualization

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.