… . This survey gives an overview of issues in rule-based program transformation systems, focusing on the expressivity of rule-based program transformation systems … of research in this area is a high-level, language parametric, rule-based program …
JSC, 40(1):831-873, 2005. [doi]… we apply the described technique to rule-based program transformations extended … abstract syntax and transformation rules outdated, which then themselves become … argue that necessary changes of both abstract syntax and transformation rules …
CSMR 2003: 30-39 [doi]… XT bundles existing and newly developed program transformation libraries and tools into an open framework that supports component-based development of program … process of program transformation tools, as well as some experiences with building …
ENTCS, 44(2):79-86, 2001. [doi]… rules define basic modifications. A transformation strategy is an algorithm …Program transformation is used in a wide range of applications including … renovation, and reverse engineering. Complex program transformations are achieved …
ENTCS, 57:109-143, 2001. [doi]… is a language for the specification of program transformation systems based … transformation systems. It may be necessary to apply a rule only in some phase of a transformation, to apply rules in some order, or to apply a rule only …
RTA 2001: 357-362 [doi]… to support a wide range of program transformations. The framework consists … of rules, strategies, tools, and systems. … tools. Stratego is based on the paradigm of rewriting under the control …
Dagstuhl 2004: 216-238 [doi]… language provides rewrite rules for expressing basic transformations, programmable rewriting strategies for controlling the application of rules, concrete …, and dynamic rewrite rules for expressing context-sensitive transformations, thus …
SCP, 72(1-2):52-70, 2008. [doi]… determine where and in what order transformation rules are (automatically) applied to a program. The separation of rules and strategies supports modularity … transformation systems. The design of Stratego is based on the paradigm of rewriting …
AMAI, 29(1-4):1-34, 2000. [doi]… of code generation by model transformation with Stratego, a high-level transformation language based on the paradigm of rewrite rules with programmable strategies that integrates model-to-model, model-to-code, and code-to-code transformations …
ICMT 2008: 183-198 [doi]… . The optimization is based on small transformation rules that are applied locally under … strategies can be used to separate the definition of program transformation rules from … it with the rules to which it is applied. Both the optimization and the programs to which …
ENTCS, 57:144-162, 2001. [doi]… , and hopefully performance-improving, program transformations. The Glasgow Haskell Compiler (GHC) takes this idea of “compilation by transformation” as its war-cry … of program transformations.
This paper reports on our practical experience …
SCP, 32(1-3):3-47, 1998. [doi]… .
A Stratego program defines a transformation on first-order ground terms. Transformation rules define single transformation steps. Transformation rules … that determine where and in what order rules are applied. These combinators include …
In Workshop on Generic Programming (WGP 2000). 2000:… The applicability of term rewriting to program transformation is limited … the operational semantics underlying the program transformation language Stratego, and illustrated by means of several program transformations in Stratego …
FUIN, 69(1-2):123-178, 2006. [doi]… language provides rewrite rules for expressing basic transformations, programmable rewriting strategies for controlling the application of rules, concrete …, and dynamic rewrite rules for expressing context-sensitive transformations, thus …
PEPM 2006: 95-99 [doi]… available for online replay, we illustrate that rule-based approaches require …). The underlying mapping rules tend to be documented using informal visual rules whereas … (such as GrGen) are being developed to support the direct execution of such mapping rules …
MoDELS 2010:… This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules … of invariants for program … …
GPCE '09: Proceedings of the eighth international conference on Generative programming and component engineering, , Oct 2009.… This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules … of invariants for program … …
GPCE '09: Proceedings of the eighth international conference on Generative programming and component engineering, , Oct 2009.