… rewriting strategies with scoped dynamic rewrite rules. Dynamic rules … of rewrite rules. The ﬁrst problem is addressed by languages supporting user-deﬁnable …The applicability of term rewriting to program transformation is limited …ENTCS, 59(4):375-396, 2001.
… of rewriting strategies with scoped dynamic rewrite rules. Dynamic rules are defined at run … by the lack of control over rule application and by the context-free nature of rewrite …. In this paper, we explore the design space of dynamic rules …FUIN, 69(1-2):123-178, 2006.
… dynamic rewriting rules. In particular, we introduce the concept of dependent dynamic rewrite rules for modeling the dependencies of data-flow facts on program … supports the high-level specification of transformations by means of rewriting strategy …CC 2005: 204-220
… , and dynamic rewrite rules for expressing context-sensitive transformations, thus … language provides rewrite rules for expressing basic transformations, programmable rewriting strategies for controlling the application of rules, concrete …SCP, 72(1-2):52-70, 2008.
… be imple- mented on abstract syntax trees in Stratego, a rewriting system extended with programmable rewriting strategies for the control over the application of rules and dynamic rewrite rules for the propagation of information. …ENTCS, 70(6):156-175, 2002.
… , and dynamic rewrite rules for expressing context-sensitive transformations, thus … language provides rewrite rules for expressing basic transformations, programmable rewriting strategies for controlling the application of rules, concrete …PEPM 2006: 95-99
… be expressed by means of rewrite rules. Typically, such sets of rewrite rules are highly ambiguous. Therefore, standard rewriting engines based on fixed, exhaustive … programming. In this paper we show how rewriting strategies for instruction selection can …RTA 2002: 237-251
… Programming language semantics based on pure rewrite rules suﬀers from the gap between the rewriting strategy implemented in rewriting engines … on rewrite rules. The advantage of this approach is that reduction rules are ﬁrst …ENTCS, 65(3):57-76, 2002.
… using rewrite rules, showing how analyses can be reused for transformations, code … by language-parametric editor service classes that can be dynamically loaded …OOPSLA 2010: 444-463
… , for example, using templates or rewrite rules. We apply dynamic analysis to program … for the Stratego term-rewriting language and applied it in case studies based on Spoofax …AOSD 2014: 17-20
… and implementing an aspect extension for and in a rule-based term rewriting system. … rewriting language for capturing such properties. We show our aspect language offers … algorithm extension for forward data-flow propagation and dynamic type checking …ENTCS, 147(1):5-30, 2006.
… transformation language based on the paradigm of rewrite rules with programmable strategies … language for dynamic web applications with a rich data model. …ICMT 2008: 183-198