Abstract
The applicability of term rewriting to program transformation is limited by the lack
of control over rule application and by the context-free nature of rewrite rules. The
first problem is addressed by languages supporting user-definable rewriting strategies.
This paper addresses the second problem by extending rewriting strategies
with scoped dynamic rewrite rules. Dynamic rules
... read more