Environments for term rewriting engines for free!

DOI10.1007/3-540-44881-0_30MaRDI QIDQ4447249zbMATH OpenFDO

Authors Pierre-Etienne Moreau, J. J. Vinju, M. G. J. van den Brand

Publication date 16 February 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2706/27060424.htm

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 3902026
• scientific article; zbMATH DE number 1231662
• Term rewriting
• Conditional rewriting logic: Deduction, models and concurrency
• A higher-order implementation of rewriting

Cited in

(1)

• scientific article; zbMATH DE number 3902026 (Why is no real title available?)

Describes a project that uses

Uses Software

• Stratego
• ATERM
• ELAN
• JITty

This page was built for publication: Environments for term rewriting engines for free!

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