Please visit my new website at
<a href="http://www.program-transformation.org"> <img src="http://www.program-transformation.org/twiki/pub/transformation.gif" align=right border=0 alt ="Program-Transformation.Org"> </a> Program transformation has applications in many areas of software engineering including compilation, optimization, refactoring, program synthesis, software renovation, and reverse engineering. The aim of program transformation is to increase programmer productivity by automating programming tasks, thus enabling programming at a higher-level of abstraction, and increasing maintainability and re-usability. Many systems for program transformation exist that are often specialized for a specific object language and/or kind of transformation. All these systems share many ideas about program transformation and use similar techniques, but are often ad-hoc in many respects. The goal of my research is to achieve a specification language or family of specification languages for the high-level, declarative specification of program transformation systems in which generic, language independent schemas of transformation can be captured, and which admits efficient implementation of those transformations that can scale up to large programs. ----++++ Tools This research is guided by the design and implementation of tools for aspects of the transformation process * [[Stratego]]: term rewriting and rewriting strategies * [[Syntax definition]]: declarative specification of syntax of languages * [[XT]]: bundling of transformation tools -----++++ Applications Validation of these tools is done by constructing transformation systems for all kinds of application domains * [[Dsp Transformation]] -----++++ Surveys The [[http://www.program-transformation.org][program transformation wiki]] is a collaborative web site created for surveying the wide area of program transformation. _[[http://www.program-transformation.org/Transform/ReengineeringWikiPaper][The Reengineering Wiki]]_ is a paper about the reengineering part of the transformation wiki that explains the ideas behind the wiki.