Scoped Dynamic Rewrite Rules

DOI10.1016/S1571-0661(04)00298-1zbMath1268.68106OpenAlexW1967825172WikidataQ59780460 ScholiaQ59780460MaRDI QIDQ2841252

Eelco Visser

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)00298-1

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

A survey of strategies in rule-based program transformation systems

Uses Software

• TAMPR
• GHC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Deforestation: Transforming programs to eliminate trees
• Warm fusion in Stratego: A case study in generation of program transformation systems
• A Survey of Rewriting Strategies in Program Transformation Systems
• Shrinking lambda expressions in linear time
• Implicit parameters
• Building program optimizers with rewriting strategies

This page was built for publication: Scoped Dynamic Rewrite Rules