… rewriting strategies with scoped dynamic rewrite rules. Dynamic rules … of rewrite rules. The first problem is addressed by languages supporting user-definable …The applicability of term rewriting to program transformation is limited …
ENTCS, 59(4):375-396, 2001. [doi]… 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. [doi]… 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 [doi]… , 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. [doi]… 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. [doi]… , 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 [doi]… 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 [doi]… Programming language semantics based on pure rewrite rules suffers from the gap between the rewriting strategy implemented in rewriting engines … on rewrite rules. The advantage of this approach is that reduction rules are first …
ENTCS, 65(3):57-76, 2002. [doi]… 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 [doi]… , 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 [doi]… 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. [doi]… 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 … algorithm extension for forward data-flow propagation and dynamic type checking …
Technical Report UU-CS-2005-030, 2005.… 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 [doi]