Supervised Theses
Also available in
pdf
and
bibtex.
2008
2007
2006
|
[5] |
E. Dolstra.
The
Purely Functional Software Deployment Model.
PhD thesis, Utrecht University, Utrecht, The Netherlands, January
2006.
(pdf,
bib).
|
| [6] |
B. Dumitriu.
Extensible and customizable data-flow
transformation strategies for object-oriented programs.
Master's thesis, Utrecht University, 2006.
(In progress) (bib).
|
| [7] |
A. Hemel.
NixOS.
Master's thesis, Utrecht University, 2006.
(In progress) (bib).
|
| [8] |
M. Kolthoff.
Vectorization Strategies.
Master's thesis, Utrecht University, 2006.
(In progress) (bib).
|
| [9] |
R. van den Broek.
Software Release Management with a Nix Build
Farm.
Master's thesis, Utrecht University, 2006.
(In progress) (bib).
|
| [10] |
R. van Wanrooij.
Unification of software composition mechanisms.
Master's thesis, Utrecht University, 2006.
(In progress) (bib).
|
| [11] |
J. van Zessen.
An Optimizer in Stratego for the Helium Core
Language.
Master's thesis, Utrecht University, (In progress) 2006.
(bib). |
2005
|
[12] |
R. de Groot.
Design and
Implementation of Embedded Domain-Specific Languages.
Master's thesis, Utrecht University, Utrecht, The Netherlands,
September 2005.
INF/SCR-05-10 (pdf,
bib).
|
| [13] |
E. Eijkelenboom.
Trends in
Software Evolution.
Master's thesis, Utrecht University, Utrecht, The Netherlands, March
2005.
INF/SCR-04-62
(pdf,
bib).
|
| [14] |
N. Janssen.
Transformation
Tool Composition.
Master's thesis, Utrecht University, Utrecht, The Netherlands, March
2005.
INF/SCR-04-64 (pdf,
bib).
|
| [15] |
K. Muilwijk.
Automated Analysis
of Unit Tests To Improve Understanding of Software Systems.
Master's thesis, Utrecht University, Utrecht, The Netherlands,
December 2005.
INF/SCR-05-25 (pdf,
bib).
|
| [16] |
R. van Beusekom.
A Vectorizer for
Octave.
Master's thesis, Utrecht University, Utrecht, The Netherlands,
February 2005.
INF/SRC-04-53 (pdf,
bib).
|
| [17] |
R. Verrips.
A Survey of Legacy Migration.
Master's thesis, Utrecht University, Utrecht, The Netherlands,
September 2005.
INF/SCR-05-08 (bib). |
2004
|
[18] |
A. van Dam.
Extending Dynamic
Rules. An Application-Oriented Study into Stratego's new Dynamic Rules.
Master's thesis, Utrecht University, Utrecht, The Netherlands,
February 2004.
INF/SCR-04-25 (pdf,
bib).
|
| [19] |
R. B. Vermaas.
xDoc. An
extensible documentation generator.
Master's thesis, Utrecht University, Utrecht, The Netherlands,
February 2004.
INF/SCR-03-41 (pdf,
bib). |
2003
|
[20] |
O. S. Bagge.
CodeBoost: A Framework for Transforming
C++ Programs.
Master's thesis, University of Bergen, P.O.Box 7800, N-5020 Bergen,
Norway, March 2003.
(bib).
|
| [21] |
M. Bravenboer.
Connecting XML
Processing and Term Rewriting with Tree Grammars.
Master's thesis, Utrecht University, Utrecht, The Netherlands,
November 2003.
(pdf,
bib).
|
| [22] |
K. T. Kalleberg.
User-configurable, High-Level
Transformations with CodeBoost.
Master's thesis, University of Bergen, P.O.Box 7800, N-5020 Bergen,
Norway, March 2003.
(bib).
|
| [23] |
J. Kruger.
Specification of
Loop Optimizations In Stratego. Improving the AutoBayes System.
Master's thesis, Utrecht University, Utrecht, The Netherlands,
November 2003.
(pdf,
bib).
|
| [24] |
A. van Dam.
Simplifying the
Simplifier. HsOpt: a modular, rewrite rule based simplifier for the Helium
compiler, a non-strict functional compiler.
Master's thesis, Utrecht University, Utrecht, The Netherlands, July
2003.
INF/SCR-03-25 (pdf,
bib).
|
| [25] |
J. van Wijngaarden.
Code Generation
from a Domain Specific Language. Designing and Implementing Complex Program
Transformations.
Master's thesis, Utrecht University, Utrecht, The Netherlands, July
2003.
INF/SCR-03-29 (pdf,
bib). |
2002
|
[26] |
L. Swart.
Partial Evaluation
using Rewrite Rules. A Specification of a Partial Evaluator for Similix
in Stratego.
Master's thesis, Utrecht University, Utrecht, The Netherlands, August
2002.
INF/SCR-2002-12
(pdf,
bib).
|
| [27] |
H. Westra.
Configurable
Transformations for High-Quality Automatic Program Improvement. CobolX: a
case study.
Master's thesis, Utrecht University, Utrecht, The Netherlands,
February 2002.
(pdf,
bib). |
2001
|
[28] |
A. de Bruijn.
Implementation of Inlining in Stratego.
Master's thesis, Utrecht University, Utrecht, The Netherlands, August
2001.
(pdf,
psgz,
bib).
|
| [29] |
E. Dolstra.
First-class
Rules and Generic Traversal for Program Transformation Languages.
Master's thesis, Utrecht University, Utrecht, The Netherlands, August
2001.
INF/SCR-2001-15
(psgz,
bib). |
2000
1997
This bibliography was generated using the
Stratego/XT bibtex-tools.
This document was translated from LATEX by
HEVEA.