An account of implementing applicative term rewriting

DOI10.1016/J.ENTCS.2007.02.049MaRDI QIDQ2866805zbMATH OpenOpenAlexWikidataFDO

Authors Muck van Weerdenburg

Publication date 6 December 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2007.02.049

zbMATH Keywords

efficient rewritingnonlinear match treesopen terms

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• A higher-order implementation of rewriting
• scientific article; zbMATH DE number 1231662
• scientific article; zbMATH DE number 64019
• scientific article; zbMATH DE number 4033050
• scientific article; zbMATH DE number 1088027

Cites work

• A compiler for nondeterministic term rewriting systems
• Compositional verification of asynchronous concurrent systems using CADP
• scientific article; zbMATH DE number 1693507 (Why is no real title available?)
• scientific article; zbMATH DE number 1231501 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• scientific article; zbMATH DE number 1796138 (Why is no real title available?)
• scientific article; zbMATH DE number 194911 (Why is no real title available?)
• scientific article; zbMATH DE number 2090085 (Why is no real title available?)
• Just-in-time: on strategy annotations
• Maude: specification and programming in rewriting logic
• Refined compilation of pattern-matching for functional languages

Cited in

(5)

• Applying string-rewriting to sequence-based specification
• scientific article; zbMATH DE number 4052984 (Why is no real title available?)
• Adaptive non-linear pattern matching automata
• Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation
• Adaptive nonlinear pattern matching automata

Describes a project that uses

Uses Software

• Maude
• ATERM
• ASF+SDF
• JITty
• mCRL

This page was built for publication: An account of implementing applicative term rewriting

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