A Survey of Rewriting Strategies in Program Transformation Systems

DOI10.1016/S1571-0661(04)00270-1zbMath1268.68105WikidataQ59780458 ScholiaQ59780458MaRDI QIDQ2841225

Eelco Visser

Publication date: 24 July 2013

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

Mathematics Subject Classification ID

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

Related Items (4)

String Diagram Rewrite Theory I: Rewriting with Frobenius Structure ⋮ A survey of strategies in rule-based program transformation systems ⋮ Model Checking TLR* Guarantee Formulas on Infinite Systems ⋮ Scoped Dynamic Rewrite Rules

Uses Software

• Stratego
• ELAN
• ATERM
• TAMPR
• Maude
• KIDS

Cites Work

• Proving and applying program transformations expressed with second-order patterns
• Origin tracking
• Language Prototyping: An Algebraic Specification Approach
• Just-in-time
• Fusing Logic and Control with Local Transformations
• Building program optimizers with rewriting strategies
• Higher-order matching for program transformation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Survey of Rewriting Strategies in Program Transformation Systems