Program transformation is used in a wide range of applications including compiler
construction, optimization, program synthesis, refactoring, software renovation, and reverse …

Many automated software engineering tools require tight integration of techniques for source
code analysis and manipulation. State-of-the-art tools exist for both, but the domains have …

TXL is a special-purpose programming language designed for creating, manipulating and
rapidly prototy** language descriptions, tools and applications. TXL is designed to allow …

Stratego/XT is a language and toolset for program transformation. The Stratego language
provides rewrite rules for expressing basic transformations, programmable rewriting …

Source model extraction, the automated extraction of information from system artifacts, is a
common phase in reverse engineering tools. One of the major challenges of this phase is …

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 …

Rascal is a new language for meta-programming and is intended to solve problems in the
domain of source code analysis and transformation. In this article we give a high-level …

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 …

Abstract Model-driven software engineering promotes the use of models and
transformations as primary artifacts. Several formalisms can be used for the specification of …

We discuss the nuts and bolts of industrial large-scale software modification projects. These
projects become necessary when system owners of deployed systems hit architectural …