Paul Klint: Supervised Dissertations

1. Bas Basten, Ambiguity Detection for Programming Language Grammars, University of Amsterdam, 2011.
   (Co-promotor: J. Vinju)
2. M. Bruntink, Renovation of Idiomatic Crosscutting Concerns in Embedded Systems, Technical University Delft, 2008. pdf
   (First Promotor: A. van Deursen; Second Promotor: P. Klint)
3. T. van der Storm, Component-based Configuration, Integration and Delivery, University of Amsterdam, 2007. pdf
   (Second Promotor: S. Brinkkemper)
4. S.R.L. Jansen, Customer Configuration Updating in a Software Supply Network, University of Utrecht, 2007. pdf
   (First Promotor: S. Brinkkemper; Second Promotor: P. Klint)
5. H.A. de Jong, Flexible Heterogeneous Software Systems, University of Amsterdam, 2007. pdf
   (Co-Promotor: M.G.J. van den Brand)
6. J. Vinju, Analysis and Transformation of Source Code by Parsing and Rewriting, University of Amsterdam, 2005. pdf
   (Co-promotor: M.G.J. van den Brand)
7. M. de Jonge, To Reuse or To Be Reused, University of Amsterdam, 2003. pdf
   (Co-promotor: A. van Deursen)
8. J. Visser, Generic Traversal over Typed Source Code Representations. University of Amsterdam, 2003. pdf
   (Co-promotor: R. Laemmel)
9. L. Moonen, Exploring Software Systems. University of Amsterdam, 2002. pdf
   (Co-promotor: A. van Deursen)
10. T. Kuipers, Techniques for Understanding Legacy Software Systems. University of Amsterdam, 2002. pdf
    (Co-promotor: A. van Deursen)
11. R. van Liere, Studies in Interactive Visualisation, University of Amsterdam, 2001. pdf
    
12. P.A. Olivier, A Framework for Debugging Heterogeneous Applications, University of Amsterdam, 2000. ps.gz
    (Co-promotor: M.G.J. van den Brand)
    
13. E. Saaman, Another Formal Specification Language, University of Groningen, 2000. pdf
    (First promotor: G.R. Renardel de Lavalette, Second promotor: P. Klint)
    
14. S.M. Uskudarli, Algebraic Specification of Visual Languages, University of Amsterdam, 1997. ps.gz
    
15. E. Visser, Syntax Definition for Language Prototyping, University of Amsterdam, 1997. pdf
    
16. J. Kamperman, Compilation of Term Rewriting Systems, University of Amsterdam, 1996. ps.gz
    (Co-promotor: H.R. Walters)
    
17. B.W. Watson, Taxonomies and ToolKits of Regular Language Algorithms, Technical University of Eindhoven, 1995. ps.gz
    (First promotor: F.E.J. Kruseman Aretz, Second promotor: P. Klint, Co-promotor: C. Hemerik)
    
18. F. Tip, Generation of Program Analysis Tools, University of Amsterdam, 1995. ps.gz
    (Co-promotor: J.H. Field)
    
19. N.W.P. van Diepen, Modular Algebraic Specifications and Transformational Program Development, Catholic University of Nijmegen, 1994.
    (First promotor: H.A. Partch, Second promotor: P. Klint)
    
20. A. van Deursen, Executable Language Definitions, University of Amsterdam, 1994. ps.gz
    
21. J. W. C. Koorn, Generating uniform user-interfaces for interactive programming environments, University of Amsterdam, 1994. ps.gz
    (Co-promotor, M. G. J. van den Brand)
    
22. E.A. van der Meulen, Incremental Rewriting, University of Amsterdam, 1994. ps.gz
    
23. M.G.J. van den Brand, PREGMATIC: A Generator for Incremental Programming Environments, Catholic University of Nijmegen, 1992. ps.gz
    (First promotor: C.H.A. Koster, Second promotor: P. Klint, Co-promotor: H. Meijer)
    
24. T.B. Dinesh, Object-oriented Programming: Inheritance to Adoption, University of Iowa, 1992. ps.gz
    (First promotor: A.C. Fleck, Second promotor: P. Klint)
    
25. L. Helmink, Tools for Proofs and Programs, University of Amsterdam, 1992,
    (First promotor: J.A. Bergstra, second promotor: P. Klint, third promotor: H.P. Barendregt)
    
26. J. Rekers, Parser Generation for Interactive Environments, University of Amsterdam, 1992. pdf
    
27. F. Wiedijk, Persistence in Algebraic Specification, University of Amsterdam, 1991, University of Amsterdam. pdf, ps.gz
    (First promotor: P. Klint, Second promotor: J.A. Bergstra)
    
28. H.R. Walters, On Equal terms: implementing Algebraic Specifications, University of Amsterdam, 1991. ps.gz
    
29. P.R.H. Hendriks, Implementation of Modular Algebraic Specifications, University of Amsterdam, 1991.
    
30. J.L.M. Vrancken, Studies in Process Algebra, Algebraic Specification and Parallellism, University of Amsterdam, 1991.
    (First promotor: J.A. Bergstra, Second promotor: P. Klint)
    
31. A. Eliens, DLP: A Language for Distributed Logic Programming, University of Amsterdam, 1991.
    (First promotor: P. Klint, Second promotor: J.W. de Bakker)
    
32. V.J. de Jong, Conductor: a Multilingual Programming Environment for Statistical Software, University of Groningen, 1988.
    (First promotor: P. Klint, Second Promotor: T.J. Wansbeek)