Master Theses
Here is a list of master theses that were developed in the context of the GROOVE project.
2007
- Sombekke, Niek. Graph-Based Semantics of the .NET Intermediate Language (2.8 MB)
- Kuperus, Jan-Hendrik. Nested Quantification in Graph Transformation Rules (533 KB)
2006
- Smelik, Ruben. Specification and Construction of Control Flow Semantics (1.3 MB)
2005
- Nederpel, Ronald. A QVT model transformation language represented by graph production systems (1.7 MB)
2004
- Kastenberg, Harmen. Software Metrics as Class Graph Properties (2.3 MB)
2003
- Arends, Mark. A Simulation of the Java Virtual Machine using graph grammars (405 KB)