… XT bundles existing and newly developed program transformation libraries … process of program transformation tools, as well as some experiences with building program transformation systems with XT. …
ENTCS, 44(2):79-86, 2001. [doi]… Program transformation is used in a wide range of applications including … renovation, and reverse engineering. Complex program transformations are achieved through a num- ber of consecutive modifications of a program. Transformation …
ENTCS, 57:109-143, 2001. [doi]… Program transformation is the mechanical manipulation of a program in order … of the domain of program transformation are transformation rules expressing a ?one-step? transformation on a fragment of a program. The ultimate perspective …
JSC, 40(1):831-873, 2005. [doi]… Stratego/XT is a language and toolset for program transformation. The Stratego language provides rewrite rules for expressing basic transformations … specifications. Complete program transformation systems are composed from these components. …
SCP, 72(1-2):52-70, 2008. [doi]… for the description of program transformations. The intermediate form of programs … multi-pass compilers, e.g. MUG2. OPTRAN is based on attributed transformational … transformers, and an adequate cooperation of several transformation passes. …
programmier 1980: 125-142 [doi]… 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]… Program transformation is used in many areas of software engineering. Examples … single program transformations. However, using a standard strategy … is a language for the specification of program transformation systems based …
RTA 2001: 357-362 [doi]… transformation that supports both specific and generic views of data types.
A Stratego program defines a transformation on first-order ground terms. Transformation rules define single transformation steps. Transformation rules …
In Workshop on Generic Programming (WGP 2000). 2000:… This paper presents Spoon and its AOP extension. Spoon is a pure Java 5 framework for implementing source-level and annotation-driven program transformations … for the definition of program processors and annotation processors that use …
In AOMD '05: Proceedings of the 1st workshop on Aspect oriented middleware development. 2005: [doi]… to a non-trivial problem in program transformation. We demonstrate the use … transformation systems. The design of Stratego is based on the paradigm of rewriting … determine where and in what order transformation rules are (automatically) applied …
AMAI, 29(1-4):1-34, 2000. [doi]… Stratego/XT is a framework for the development of transformation systems aiming to support a wide range of program transformations. The framework consists of the transformation language Stratego and the XT collection of transformation …
Dagstuhl 2004: 216-238 [doi]… An abstract framework is developed to describe program transformation by specializing a given program to a restricted set of inputs. Particular cases include partial evaluation [19] and Turchin’s more powerful “driving” transformation [33 …
BIRTHDAY 1994: 206-224 [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]… and inequational versions of short cut fusion and related program transformations based on free theorems hold in the presence of seq. … programs in a way that allows the derivation of interesting theorems …
FUIN, 69(1-2):63-102, 2006. [doi]… Stratego/XT is a language and toolset for program transformation. The Stratego language provides rewrite rules for expressing basic transformations … program transformation systems are composed from these components …
PEPM 2006: 95-99 [doi]… studies a specific transformation for the elimination …. One special feature of the transformation under consideration …Nonstrict, purely functional programming languages offer a high …
PhD thesis, Technische Universität Dresden, 2005.… Transformation techniques are spreading from application in compilers to general use in generative programming and document processing. Since transformation … for the implementation of transformations. These tools come in many flavors each …
Technical Report UU-CS-2003-048, 2003.