Simulation as a correct transformation of rewrite systems

DOI10.1007/BFB0029968MaRDI QIDQ4699301zbMATH OpenFDO

Authors Jaco van de Pol, Wan Fokkink

Publication date 10 November 1999

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

Full work available at URL https://ir.cwi.nl/pub/10651

zbMATH Keywords

rewrite system

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Normalization by leftmost innermost rewriting
• Algebraic simulations
• Transformations and confluence for rewrite systems
• scientific article; zbMATH DE number 4047065

Cited in

(8)

• Remarks on Thatte's transformation of term rewriting systems
• Just-in-time: on strategy annotations
• Compiling a functional logic language: \textit{The Fair Scheme}
• Needed computations shortcutting needed steps
• Compiling collapsing rules in certain constructor systems
• scientific article; zbMATH DE number 5181783 (Why is no real title available?)
• Normalization by leftmost innermost rewriting
• Cones and foci: A mechanical framework for protocol verification

This page was built for publication: Simulation as a correct transformation of rewrite systems

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