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 …

Rascal: A domain specific language for source code analysis and manipulation

P Klint, T Van Der Storm, J Vinju - 2009 Ninth IEEE …, 2009 - ieeexplore.ieee.org
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 …

The TXL source transformation language

JR Cordy - Science of Computer Programming, 2006 - Elsevier
TXL is a special-purpose programming language designed for creating, manipulating and
rapidly prototyping language descriptions, tools and applications. TXL is designed to allow …

Stratego/XT 0.17. A language and toolset for program transformation

M Bravenboer, KT Kalleberg, R Vermaas… - Science of computer …, 2008 - Elsevier
Stratego/XT is a language and toolset for program transformation. The Stratego language
provides rewrite rules for expressing basic transformations, programmable rewriting …

Generating robust parsers using island grammars

L Moonen - Proceedings eighth working conference on reverse …, 2001 - ieeexplore.ieee.org
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 …

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 …

EASY Meta-programming with Rascal

P Klint, T Van Der Storm, J Vinju - … , GTTSE 2009, Braga, Portugal, July 6 …, 2011 - Springer
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 …

Architectural modifications to deployed software

AS Klusener, R Lämmel, C Verhoef - Science of Computer Programming, 2005 - Elsevier
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 …

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 …

On the use of graph transformations for model refactoring

T Mens - International Summer School on Generative and …, 2005 - Springer
Abstract Model-driven software engineering promotes the use of models and
transformations as primary artifacts. Several formalisms can be used for the specification of …