A survey of rewriting strategies in program transformation systems
E Visser - Electronic Notes in Theoretical Computer Science, 2001 - Elsevier
Program transformation is used in a wide range of applications including compiler
construction, optimization, program synthesis, refactoring, software renovation, and reverse …
construction, optimization, program synthesis, refactoring, software renovation, and reverse …
The Spoofax language workbench: rules for declarative specification of languages and IDEs
Spoofax is a language workbench for efficient, agile development of textual domain-specific
languages with state-of-the-art IDE support. Spoofax integrates language processing …
languages with state-of-the-art IDE support. Spoofax integrates language processing …
Stratego/XT 0.17. A language and toolset for program transformation
Stratego/XT is a language and toolset for program transformation. The Stratego language
provides rewrite rules for expressing basic transformations, programmable rewriting …
provides rewrite rules for expressing basic transformations, programmable rewriting …
[PDF][PDF] Model-driven software evolution: A research agenda
Software systems need to evolve, and systems built using model-driven approaches are no
exception. What complicates model-driven engineering is that it requires multiple …
exception. What complicates model-driven engineering is that it requires multiple …
Program transformation with Stratego/XT: Rules, strategies, tools, and systems in Stratego/XT 0.9
E Visser - … Seminar, Dagstuhl Castle, Germany, March 23-28 …, 2004 - Springer
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 …
a wide range of program transformations. The framework consists of the transformation …
WebDSL: A case study in domain-specific language engineering
E Visser - … Techniques in Software Engineering II: International …, 2008 - Springer
The goal of domain-specific languages (DSLs) is to increase the productivity of software
engineers by abstracting from low-level boilerplate code. Introduction of DSLs in the …
engineers by abstracting from low-level boilerplate code. Introduction of DSLs in the …
SugarJ: Library-based syntactic language extensibility
Existing approaches to extend a programming language with syntactic sugar often leave a
bitter taste, because they cannot be used with the same ease as the main extension …
bitter taste, because they cannot be used with the same ease as the main extension …
Concrete syntax for objects: domain-specific language embedding and assimilation without restrictions
Application programmer's interfaces give access to domain knowledge encapsulated in
class libraries without providing the appropriate notation for expressing domain composition …
class libraries without providing the appropriate notation for expressing domain composition …
A survey of strategies in rule-based program transformation systems
E Visser - Journal of symbolic computation, 2005 - Elsevier
Program transformation is the mechanical manipulation of a program in order to improve it
relative to some cost function and is understood broadly as the domain of computation …
relative to some cost function and is understood broadly as the domain of computation …
Model transformation as an optimization problem
Most of the available work on model transformation is based on the hypothesis that
transformation rules exist and that the important issue is how to express them. But in real life …
transformation rules exist and that the important issue is how to express them. But in real life …