Delft University of Technology

Develop Stratego extensions

The goal of this 6 months internship, in which Eelco Visser, Tony Sloane and Lennart Kats are involved, is to add an attribute grammar system in Stratego that handles term rewriting. Many issue arose after the implementation of a left-to-right rewriting based on the idea of the attribute grammar system of Transformers.

I fixed the bootstrap sequence of the whole compiler and its libraries to handle changes in the generated code. This issue took several months with some hacks in the Autotools to handle staged compilation. Thus, I worked on dynamic strategies with heap allocated frames. In the same way, I fixed a bug to merge dynamic libraries at runtime in order to fit the language specification.