TAMPR

MaRDI QIDQ15730swMATHFDO

Official website http://www.program-transformation.org/Transform/TAMPR

Cited in

(11)

• A survey of rewriting strategies in program transformation systems
• Scoped dynamic rewrite rules
• Stratego
• ATERM
• GHC
• CLIPS
• TXL
• KIDS
• Equality saturation: a new approach to optimization
• A survey of strategies in rule-based program transformation systems
• Program transformation with scoped dynamic rewrite rules

This page was built for software: TAMPR