A Logic for Rewriting Strategies

DOI10.1016/S1571-0661(04)00283-XzbMath1268.68049MaRDI QIDQ2841238

Richard B. Kieburtz

Publication date: 24 July 2013

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Grammars and rewriting systems (68Q42)

Uses Software

• Maude

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Results on the propositional \(\mu\)-calculus
• Using branching time temporal logic to synthesize synchronization skeletons
• Building program optimizers with rewriting strategies

This page was built for publication: A Logic for Rewriting Strategies