Program transformation with scoped dynamic rewrite rules

MaRDI QIDQ5472912zbMATH OpenFDO

Authors Martin Bravenboer, Arthur van Dam, Karina Olmos, Eelco Visser

Publication date 19 June 2006

zbMATH Keywords

term rewritingStratego

Mathematics Subject Classification ID

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

Recommendations

• Scoped dynamic rewrite rules
• A survey of rewriting strategies in program transformation systems
• scientific article; zbMATH DE number 1722718
• A survey of strategies in rule-based program transformation systems
• Program transformation and rewriting

Cited in

(6)

• A higher-order strategy for eliminating common subexpressions
• A survey of rewriting strategies in program transformation systems
• Scoped dynamic rewrite rules
• Program transformation and rewriting
• A survey of strategies in rule-based program transformation systems
• Static consistency checking of web applications with WebDSL

Describes a project that uses

Uses Software

• FreshML
• GHC
• TAMPR
• ATERM
• Stratego

This page was built for publication: Program transformation with scoped dynamic rewrite rules

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