Transitive term graph rewriting

DOI10.1016/S0020-0190(96)00150-0zbMath0875.68580OpenAlexW2032973651MaRDI QIDQ1350096

Richard Banach

Publication date: 27 February 1997

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0020-0190(96)00150-0

zbMATH Keywords

Distributed computingProgramming languagesDACTLMONSTRPacket store rewritingTerm graph rewritingTransitive redirections

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Uses Software

• DACTL
• MONSTR

Cites Work

• Unnamed Item
• Unnamed Item
• LEAN: An intermediate language based on graph rewriting
• REDEX CAPTURING IN TERM GRAPH REWRITING
• Term rewriting in CTΣ