The third rewrite engines competition

DOI10.1007/978-3-642-16310-4_16MaRDI QIDQ4933291zbMATH OpenOpenAlexWikidataFDO

Authors Francisco Durán, Manuel Roldán, Emilie Balland, James R. Cordy, Steven Eker, Luc Engelen, Maartje de Jonge, Karl Trygve Kalleberg, Lennart C. L. Kats, Pierre-Etienne Moreau, Eelco Visser, M. G. J. van den Brand

Publication date 12 October 2010

Published in Rewriting Logic and Its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-16310-4_16

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Rewriting logic and its applications (extended selected papers from WRLA 2014)
• Rewriting logic and its applications (extended selected papers from WRLA 2014)
• Confluence Competition 2015
• scientific article; zbMATH DE number 2038715
• Computing with rewrite systems

Describes a project that uses

Uses Software

• Rascal
• Stratego
• TXL
• ASF+SDF
• Maude
• Tom

This page was built for publication: The third rewrite engines competition

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4933291)