… This paper introduces the graph-based transformation language GReTL. GReTL is an operational transformation language whose operations are either specified in plain Java using the GReTL API or in a simple domain-specific language. GReTL …
ICMT 2011: 183-197… languages without transformation libraries is tedious. Reusing these frontends … for the Stratego program transformation language. The adapter allows the Stratego …Program transformation systems provide powerful analysis and transformation …
ENTCS, 203(2):21-36, 2008. [doi]… Stratego/XT is a language and toolset for program transformation. The Stratego language provides rewrite rules for expressing basic transformations …, and dynamic rewrite rules for expressing context-sensitive transformations, thus …
SCP, 72(1-2):52-70, 2008. [doi]… in declarative model-to-model transformation languages, and provide an in-depth …. The application of this framework to dedicated transformation languages shows …Although model transformations presumably play a major role in Model-Driven …
ICMT 2011: 31-46… transformation challenge [1] using the Epsilon Transformation Language (ETL) [2]. The implemented transformation is part of the EuGENia tool [3] and covers all … of the Ecore2GenModel transformation in ETL and section 4 concludes this short paper. …
TTC 2010:… The transformation language Stratego provides high-level abstractions for implementation of a wide range of transformations. Our aim is to integrate … of language extensions and several typical transformations for these languages. …
SCAM 2005: [doi]… for developing integrated transformation systems that are typed, scalable, easy to use, and adaptable. The kernel of such a functional transformation system for a certain language is a transformation framework generated from the language’s grammar …
wflp 2000: 154-168… Abstract We propose a language-independent symbolic execution framework for languages endowed with a formal operational semantics based on term rewriting. Starting from a given definition of a language, a new language definition …
Preprint 2015.… Abstract We propose a language-independent symbolic execution framework for languages endowed with a formal operational semantics based on term rewriting. Starting from a given definition of a language, a new language definition …
Comp. Lang., Syst. \& Struct., Volume 44 Part A:48-71, December 2015. [doi]… is a language for the specification of program transformation systems based …Program transformation is used in many areas of software engineering. Examples … single program transformations. However, using a standard strategy …
RTA 2001: 357-362 [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]