Title: A Framework for Transformation of Java Programs
Speaker: Eelco Visser

Slides: .pdf

Abstract:
Stratego/XT is a language independent framework for building program transformation systems. In order to do anything useful with Stratego, one needs to instantiate it for a particular source language. Recently we have been working on a framework for the transformation of Java programs using Stratego. The main components are java-front, which provides syntactic tools, i.e., a syntax definition for Java 5 and a pretty-printer, and dryad, which supports bytecode engineering and type analysis.

So far we have mainly applied the framework for the embedding of domain-specific (MetaBorg) and general-purpose languages (for building code generators in Java). The type analysis is used in these applications for disambiguation and type correctness of embedded DSLs. The final goal is an open and extensible Java programming environment.

In the talk I will give an overview of the framework and discuss a couple of example applications.