Redex capturing in term graph rewriting (concise version)

DOI10.1007/3-540-53904-2_82MaRDI QIDQ5055745zbMATH OpenOpenAlexFDO

Authors William M. Farmer, Ronald J. Watro

Publication date 9 December 2022

Published in Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-53904-2_82

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• REDEX CAPTURING IN TERM GRAPH REWRITING
• Essentials of term graph rewriting
• On term-graph rewrite strategies
• Conditional term graph rewriting with indirect sharing
• Term graph rewriting and parallel term rewriting

Cites work

• A new implementation technique for applicative languages
• Computation on graph-like expressions
• scientific article; zbMATH DE number 4124993 (Why is no real title available?)
• scientific article; zbMATH DE number 194911 (Why is no real title available?)
• On ``On graph rewritings
• On graph rewritings
• REDEX CAPTURING IN TERM GRAPH REWRITING
• Rewrite, rewrite, rewrite, rewrite, rewrite, \dots
• Transfinite reductions in orthogonal term rewriting systems

Cited in

(3)

• REDEX CAPTURING IN TERM GRAPH REWRITING
• Simple type inference for term graph rewriting systems
• Collapsed tree rewriting: Completeness, confluence, and modularity

This page was built for publication: Redex capturing in term graph rewriting (concise version)

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