TAMPR

swMATH3197MaRDI QIDQ15730FDOQ15730

Author name not available (Why is that?)

Cited In (5)

• A survey of rewriting strategies in program transformation systems
• Scoped dynamic rewrite rules
• Title not available (Why is that?)
• A survey of strategies in rule-based program transformation systems
• Equality Saturation: A New Approach to Optimization

This page was built for software: TAMPR