The third rewrite engines competition

Authors:
Francisco Durán;Manuel Roldán;Jean-Christophe Bach;Emilie Balland;Mark Van Den Brand;James R. Cordy;Steven Eker;Luc Engelen;Maartje De Jonge;Karl Trygve Kalleberg;Lennart C. L. Kats;Pierre-Etienne Moreau;Eelco Visser
Affiliations:
LCC, Universidad de Málaga, Málaga, Spain;LCC, Universidad de Málaga, Málaga, Spain;INRIA Nancy-Grand Est, Villers-lès-Nancy Cedex, France;INRIA Nancy-Grand Est, Villers-lès-Nancy Cedex, France;Dpt. of Mathematics and Comp. Sci., Eindhoven U. of Technology, The Netherlands;School of Computing, Queen's University at Kingston, Canada;Computer Science Laboratory, SRI International, Menlo Park, CA;Dpt. of Mathematics and Comp. Sci., Eindhoven U. of Technology, The Netherlands;Dpt. of Software Technology, Delft University of Technology, The Netherlands;University of Bergen, Bergen, Norway;Dpt. of Software Technology, Delft University of Technology, The Netherlands;INRIA Nancy-Grand Est, Villers-lès-Nancy Cedex, France;Dpt. of Software Technology, Delft University of Technology, The Netherlands
Venue:
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
Year:
2010

Citing 19
Cited 0

TXL: a rapid prototyping system for programming language dialects

Computer Languages
Efficient annotated terms

Software—Practice & Experience
Language Prototyping: An Algebraic Specification Approach: Vol. V

Language Prototyping: An Algebraic Specification Approach: Vol. V
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
Stratego: A Language for Program Transformation Based on Rewriting Strategies

RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
The ASF+SDF Meta-environment: A Component-Based Language Development Environment

CC '01 Proceedings of the 10th International Conference on Compiler Construction
Agile Parsing in TXL

Automated Software Engineering
LR parsers for natural languages

ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
The TXL source transformation language

Science of Computer Programming - The fourth workshop on language descriptions, tools, and applications (LDTA'04)
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
The Second Rewrite Engines Competition

Electronic Notes in Theoretical Computer Science (ENTCS)
Unification and Narrowing in Maude 2.4

RTA '09 Proceedings of the 20th International Conference on Rewriting Techniques and Applications
RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation

SCAM '09 Proceedings of the 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation
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
Applications of the ASF+SDF meta-environment

GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering

Quantified Score

Hi-index	0.00

Visualization

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.