Lazy Rewriting and Context-Sensitive Rewriting

DOI10.1016/S1571-0661(04)80353-0zbMath1268.68100OpenAlexW1979197465WikidataQ56765632 ScholiaQ56765632MaRDI QIDQ2841298

Salvador Lucas

Publication date: 24 July 2013

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

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80353-0

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (7)

Proving termination of context-sensitive rewriting by transformation ⋮ Modularity in term rewriting revisited ⋮ Lazy productivity via termination ⋮ Applications and extensions of context-sensitive rewriting ⋮ On-demand strategy annotations revisited: an improved on-demand evaluation strategy ⋮ Context-sensitive rewriting strategies ⋮ Termination of Lazy Rewriting Revisited

Uses Software

• OBJ3
• Maude

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Strongly sequential and inductively sequential term rewriting systems
• Context-sensitive rewriting strategies
• Termination of term rewriting using dependency pairs
• Compact Normalisation Trace via Lazy Rewriting
• Termination of Rewriting with Strategy Annotations
• Termination of context-sensitive rewriting
• Transformation techniques for context-sensitive rewrite systems

This page was built for publication: Lazy Rewriting and Context-Sensitive Rewriting