|
home | education | contact | library | calendar | search |
|
|---|---|---|---|---|---|---|---|
| about us | research | people | archive | services | jobs |
group software technology
| 160 theses | |||
|---|---|---|---|
| thesis | full text |
academic year |
author / title / supervisors |
| 2012 | Jurriën Stutterheim,
Contract Inferencing for Functional Programs
prof. dr. Johan Jeuring |
||
| 2012 | Ruben Alexander de Gooijer,
wxHaskell for the web
dr. Atze Dijkstra, prof. dr. Doaitse Swierstra (0:0) |
||
| 2011 | Paul van der Walt,
Reflection in Agda
dr. Wouter Swierstra |
||
| 2011 | Jeiël Schalkwijk,
Smart Regression Testing with the T2 Testing Framework
dr. Wishnu Prasetya, prof. dr. Doaitse Swierstra (0:0) |
||
| 2011 | Ales Sturala,
Thesis - Record-based Logging
dr. Wishnu Prasetya |
||
| 2011 | Marcelo Barbosa de Sousa,
A Framework for Formal Verification of Concurrent Software
dr. Wishnu Prasetya |
||
| 2011 | Gerben Verburg,
Strictness analysis in UHC
dr. Atze Dijkstra, dr. Jurriaan Hage (0:0) |
||
| 2011 | Paul Visschers,
Reducing the overhead of data transfer in data-parallel programs
prof. dr. Doaitse Swierstra |
||
| 2010 | Remy Willems,
Compiler Optimizations for Database Programming Languages
prof. dr. Johan Jeuring |
||
| no pdf | 2010 | Ales Sturala,
dr. Wishnu Prasetya |
|
| no pdf | 2010 | Jeiel Schalkwijk,
dr. Wishnu Prasetya |
|
| 2010 | Steven Keuchel,
Generic Programming with binders and scope
prof. dr. Johan Jeuring |
||
| no pdf | 2010 | Christiaan Hees,
Strategies for Directed Generation of Test Sequences
dr. Wishnu Prasetya |
|
| no pdf | 2010 | Dragos Ionita,
Binding Time Analysis for Program Specialization in the ESPranto Synchronous Parallel Language
prof. dr. Doaitse Swierstra |
|
| no pdf | 2010 | Calin Juravle,
Automatic program analysis for data parallel kernels
dr. Jurriaan Hage, prof. dr. Doaitse Swierstra (0:0) |
|
| no pdf | 2010 | Andreas Resios,
GPU performance prediction using parametrized models
dr. Jurriaan Hage, prof. dr. Doaitse Swierstra (0:0) |
|
| no pdf | 2010 | Diederik Roijers,
Probability estimation and competence models for rule and strategy based e-tutoring systems
dr. Ad Feelders, prof. dr. Johan Jeuring (0:0) |
|
| no pdf | 2010 | Marnix Kammer,
Plagiarism detection in Haskell programs using call graph matching
dr. Hans Bodlaender, dr. Jurriaan Hage (0:0) |
|
| no pdf | 2010 | Tamar Christina,
Type systems with first class polymorphisms using Attribute Grammars
dr. Atze Dijkstra, dr. Arie Middelkoop (0:0) |
|
| no pdf | 2010 | Jean Joskin,
Attribute Grammar Evaluation on a Shared-Memory Multiprocessor
prof. dr. Doaitse Swierstra |
|
| no pdf | 2010 | Gijs Reijnders,
The Software Chop Shop
dr. Jurriaan Hage, dr. Slinger Jansen (0:0) |
|
| no pdf | 2009 | Brian Vermeer,
HOLMES: Hunting for Haskell Frauds
dr. Jurriaan Hage |
|
| 2009 | Jeroen Bouwmans,
Managing consistency between dependent objects
prof. dr. Doaitse Swierstra |
||
| 2009 | Peter van de Werken,
IDEAS: Improving the functional programming domain
ir. Alex Gerdes, prof. dr. Johan Jeuring (0:0) |
||
| no pdf | 2009 | Mathijs Swint,
Analyzing errors in Helium loggings
dr. Jurriaan Hage |
|
| 2009 | Ingmar van der Steen,
Datatype Generic Programming in Java
dr. Andres Löh, Andres Löh, Paul Bakker, Jeroen Leenarts |
||
| 2009 | Martijn van Steenbergen,
Generic selections of subexpressions
prof. dr. Johan Jeuring, dr. ir. José Pedro Magalhães (0:0) |
||
| 2009 | Sebastiaan Visser,
A Generic Approach to Datatype Persistency in Haskell
dr. Andres Löh, Andres Löh |
||
| 2009 | Paul van der Ende,
Extending the UHC LLVM backend: Adding support for accurate garbage collection
dr. Atze Dijkstra, drs. Jeroen Fokker, prof. dr. Doaitse Swierstra (0:0:0) |
||
| no pdf | 2009 | Chris Eidhof,
Web programming in Haskell
prof. dr. Doaitse Swierstra |
|
| 2009 | Tom Lokhorst,
Strictness Optimization in a Typed Intermediate Language
dr. Atze Dijkstra, prof. dr. Doaitse Swierstra (0:0) |
||
| 2009 | Jeroen Weijers,
Feedback-Oriented Security Analysis
dr. Jurriaan Hage, dr. Wolfgang Hürst (0:0), Stefan Holdermans |
||
| no pdf | 2009 | Erik van Seters,
wxFlashkell: Building Flash based GUI's in Haskell
prof. dr. Doaitse Swierstra |
|
| no pdf | 2009 | Erik Hesselink,
Generic programming with fixed points for parametrized datatypes
prof. dr. Johan Jeuring |
|
| no pdf | 2009 | Robert Stremler,
Extending a Simple Functional Programming Language with Dependent Types
dr. Andres Löh |
|
| no pdf | 2008 | Eelco Lempsink,
Generic type-safe diff and patch for families of datatypes
dr. Andres Löh |
|
| no pdf | 2008 | Kasper Brink,
Dependently Typed Grammar Transformations
dr. Andres Löh |
|
| no pdf | 2008 | Mart Kolthof,
A Proxima editor for Shuffle: manipulating fragmented text visually
dr. Atze Dijkstra, drs. Jeroen Fokker (0:0) |
|
| no pdf | 2008 | Xiaoyu Cui,
Automated Model-based analysis of Web-based User Interfaces(UIs)
dr. Wishnu Prasetya |
|
| no pdf | 2008 | Gideon Joachim Smeding,
An executable operational semantics for Python
dr. Andres Löh |
|
| no pdf | 2008 | Peter Rademaker,
Binary relational querying for structural source code analysis
dr. Jurriaan Hage |
|
| no pdf | 2008 | Guangyu Zhang,
Binding-Time Analysis : Subtyping versus Sube ecting
drs. Stefan Holdermans |
|
| no pdf | 2008 | Alesya Sheremet,
Polyvariant Escape Analysis
drs. Stefan Holdermans |
|
| no pdf | 2008 | Maaike Gerritsen,
Extending T2 with Prime Path Coverage Exploration
dr. Wishnu Prasetya |
|
| no pdf | 2007 | Mark Stobbe,
THEMIS: Framework for Automated Testing of Graphical User Interfaces
dr. Wishnu Prasetya |
|
| no pdf | 2007 | Mark Leslie Snyder,
NLALR(k) Parsing
prof. dr. Doaitse Swierstra |
|
| no pdf | 2007 | Gerbo Engels,
A Proxima-based Haskell IDE
dr. Martijn Schrage |
|
| no pdf | 2007 | A.P.R. Gelissen,
A domain-specific language for generating Rich Internet Applications
prof. dr. Doaitse Swierstra |
|
| no pdf | 2007 | Nabil el Boustani,
Improving Type Error Messages for Generic Java
dr. Jurriaan Hage |
|
| no pdf | 2007 | Laurence Cabenda,
A load & performance framework for the Conclusion Test Platform
dr. Wishnu Prasetya |
|
| no pdf | 2007 | Wouter den Breejen,
Managing state in a purely functional deployment model
prof. dr. Doaitse Swierstra |
|
| no pdf | 2007 | Niels vd Weem,
Relations as a First-Class citizen in Java
drs. Piet van Oostrum |
|
| no pdf | 2007 | Elmar Keij,
Static Testing: Using the Weakest Pre-condition Calculus
dr. Wishnu Prasetya |
|
| no pdf | 2007 | John van Schie,
Compiling Haskell To LLVM
dr. Atze Dijkstra, drs. Jeroen Fokker (0:0) |
|
| no pdf | 2007 | Jinfeng Zhu,
Automatic Instruction Set Generation
prof. dr. Doaitse Swierstra |
|
| no pdf | 2007 | Sander Mak,
Developing Interacting Domain Specific Languages
dr. Bastiaan Heeren |
|
| no pdf | 2007 | Eric Bouwers,
Improving Automated Feedback, Building a Generic Rule-Feedback Generator
prof. dr. Johan Jeuring |
|
| no pdf | 2007 | Thomas van Noort,
Generic Views for Generic Types
prof. dr. Johan Jeuring |
|
| no pdf | 2007 | Reinier Vis,
Call-graph analysis of polymorphic constructs in C# sources
prof. dr. Doaitse Swierstra |
|
| no pdf | 2007 | Lennart Kats,
Supporting language extension and separate compilation by mixing java and bytecode
dr. Martin Bravenboer, prof. dr. Doaitse Swierstra (0:0) |
|
| no pdf | 2007 | Michiel Overeem,
Dynamic Archive Management
prof. dr. Doaitse Swierstra |
|
| no pdf | 2006 | Patrick Camphuijsen,
Soft typing and analyses on PHP programs
dr. Jurriaan Hage |
|
| no pdf | 2006 | Gerrit van den Geest,
Constraints for Type Class Extensions
dr. Atze Dijkstra, dr. Bastiaan Heeren (0:0) |
|
| no pdf | 2006 | Brink H.J. van den,
A Framework to distol SQL queries out of host languages in order to apply quality metrics
dr. Jurriaan Hage |
|
| no pdf | 2006 | Verhoog J.,
Strict Attribute Grammar Evaluation
prof. dr. Doaitse Swierstra |
|
| no pdf | 2006 | Dumitriu B.,
Extensible and Customizable Data-flow Transformation Strategies for Object-Oriented Programs
prof. dr. Doaitse Swierstra |
|
| no pdf | 2006 | Middelkoop A.,
Improved Uniqueness Typing for Haskell
dr. Jurriaan Hage |
|
| no pdf | 2006 | Qu H.,
Interactive Loop Parallelization for C Programs
prof. dr. Doaitse Swierstra |
|
| no pdf | 2005 | Erik Slotboom,
Succesvol informatiseren van maatschappelijke ketens
prof. dr. mr. Jan Grijpink, prof. dr. Doaitse Swierstra (0:0) |
|
| no pdf | 2005 | Broek R. van den,
Build and Release Management with a Nix-Based Build System
dr. Eelco Dolstra |
|
| no pdf | 2005 | Keeken P. van,
Analyzing Helium Programs Obtained Through Logging â The process of mining novice Haskell programs â
dr. Jurriaan Hage |
|
| no pdf | 2005 | Hemel A.,
NixOS: the Nix based operating system
prof. dr. Doaitse Swierstra |
|
| no pdf | 2005 | Nagel P.,
Functional design patterns:structured reuse of functionality [scriptie is confidential inzage is mogelijk via de studentenadministratie ]
dr. Lex Bijlsma |
|
| no pdf | 2006 | Arjen Langebaerd,
Repair Systems
dr. Jurriaan Hage |
|
| no pdf | 2005 | Provoost L.,
A soa-enabled enterprise content management system
dr. Lex Bijlsma |
|
| no pdf | 2005 | Ingmar Brouns,
Evaluating the Performance of Web Applications
dr. Lex Bijlsma |
|
| no pdf | 2005 | Ivaylo Gochkov,
Reliable web applications
dr. Wishnu Prasetya |
|
| no pdf | 2005 | Douma C.,
Exceptional GRIN
dr. Atze Dijkstra |
|
| no pdf | 2005 | Nieuwenhuis R.,
The Software Product Management Workbench: A Tool Supporting the Daily Activities of the Product Manager
dr. Lex Bijlsma |
|
| no pdf | 2005 | Niels van der Velden,
ICP: Interactive C Paralelization[vdV05]
prof. dr. Doaitse Swierstra |
|
| no pdf | 2005 | Zessen J. van,
An Optimizer in Stratego for the Helium Core Language
prof. dr. Doaitse Swierstra |
|
| no pdf | 2005 | Schelven K. van,
Delegator: Delegation in Java
dr. Lex Bijlsma |
|
| no pdf | 2005 | Muilwijk K.,
Automated Analysis of Unit Tests To Improve Understanding of Software Systems
dr. Eelco Visser |
|
| no pdf | 2005 | Robert van Herk,
WebFunctions
prof. dr. Doaitse Swierstra |
|
| no pdf | 2005 | Groot. R. de,
Design and Implementation of Embedded Domain-Specific Languages
dr. Eelco Visser |
|
| no pdf | 2005 | Verrips R.F.,
A survey of legacy migration
dr. Eelco Visser |
|
| no pdf | 2005 | Reyngoud N./Helden J. van,
Functional Design Patterns
dr. Lex Bijlsma |
|
| no pdf | 2004 | Heitman G.,
Web Portals and Serverside Integration
dr. Lex Bijlsma |
|
| no pdf | 2004 | Montfoort G.J. van,
Quality of Service for remote UI
prof. dr. Doaitse Swierstra |
|
| no pdf | 2004 | Kang Ning,
Using Mobile Agents to Simplify Consumer Electronics Applications
prof. dr. Doaitse Swierstra |
|
| no pdf | 2004 | Holdermans S. ,
Generic Views
prof. dr. Johan Jeuring |
|
| no pdf | 2004 | Janssen N. ,
Transformation Tool Composition
dr. Eelco Visser |
|
| no pdf | 2004 | Eijkelenboom E. ,
Trends in Software Evolution
dr. Eelco Visser |
|
| no pdf | 2004 | Kempen J. van,
Het verwerken van meetresultaten van performancetesten. [scriptie is confidential inzage is mogelijk via de studentenadministratie]
drs. Piet van Oostrum |
|
| no pdf | 2004 | Swierstra W.,
Plug-and-Play Attribute Grammars
dr. Atze Dijkstra |
|
| no pdf | 2004 | Hofte T.,
Checking non-functional properties in the Koala-domain
prof. dr. Doaitse Swierstra |
|
| no pdf | 2004 | Beusekom R. van,
A Vectorizer for Octave
dr. Eelco Visser |
|
| no pdf | 2004 | Groot B.,
Implementing Traits in Java
prof. dr. Johan Jeuring |
|
| no pdf | 2004 | Gordijn J.,
A protocol for 'in-flight' simulation
dr. Wishnu Prasetya, Sijnjaa E. |
|
| no pdf | 2004 | Niessen W.G.J.,
Evaluating Repositories Standards, Techniques and Performance Simulation
dr. Wishnu Prasetya |
|
| no pdf | 2004 | Hofmans J.,
Maatregelen voor een efficient testproces by Transfer Solutions
prof. dr. Doaitse Swierstra |
|
| no pdf | 2004 | Alexey Rodriguez Yakushev,
Attribute Grammar Extensions. Higher order attribute grammars and views
prof. dr. Doaitse Swierstra |
|
| no pdf | 2004 | Liduan F.,
Design and Implementation of a UML/OCL Compiler
dr. Jurriaan Hage |
|
| no pdf | 2004 | Korndewal R.,
Voice Over IP diagnosis
prof. dr. Johan Jeuring, drs. Piet van Oostrum (0:0) |
|
| no pdf | 2004 | Dam Ar. V.,
Extending Dynamic Rules : An Application Oriented Study Into Stratego's New Dynamic Rules
dr. Eelco Visser |
|
| no pdf | 2004 | Snijders J.,
Functional Design Patterns
dr. Jurriaan Hage |
|
| no pdf | 2004 | Portier M.R.,
Web Applications in Haskell
prof. dr. Doaitse Swierstra |
|
| no pdf | 2004 | Knoop E.,
Extensible Records, Extensible Variants and First Class Attribute Grammars
dr. Atze Dijkstra, prof. dr. Doaitse Swierstra (0:0) |
|
| no pdf | 2004 | Blok M.,
Reportingsystemen
drs. Piet van Oostrum |
|
| no pdf | 2004 | Bravenboer M.,
Connecting XML Processing and Term Rewriting with Tree Grammars
dr. Eelco Visser |
|
| no pdf | 2004 | Kruger J.,
Specification of Loop Optimizations in Stratego : Improving the AutoBayes System
dr. Eelco Visser |
|
| no pdf | 2003 | Egberts N.,
Procesmodellering van Temporele Aspecten in Wet- en Regelgeving
dr. Jurriaan Hage, dr. Wishnu Prasetya (0:0) |
|
| no pdf | 2003 | Sayah K.,
Automated Norm Extraction from Legal Texts
dr. Jurriaan Hage |
|
| no pdf | 2003 | Eimers D.W.,
Dynamic Updating for the Java Virtual Machine using Load-time Structural Reflection
dr. Lex Bijlsma |
|
| no pdf | 2004 | Spee L.,
A Constraint-based Bottom-up Strictness Analysis for Haskell
dr. Jurriaan Hage |
|
| no pdf | 2004 | Vermaas R.,
xDoc : an extensible documentation generator
dr. Eelco Visser |
|
| no pdf | 2003 | Peeman J.,
RevDotnet: een review assistant voor gecompileerde DotNet code
dr. Jurriaan Hage, prof. dr. Doaitse Swierstra (0:0) |
|
| no pdf | 2003 | Rommes J.,
Syntax Macros: Attribute Redefinitions
prof. dr. Doaitse Swierstra |
|
| no pdf | 2003 | Wijngaarden J. van,
Code Generation from a Domain Specific Language : Designing and Implementing Complex Program Transformations
prof. dr. Doaitse Swierstra, dr. Eelco Visser (0:0) |
|
| no pdf | 2003 | Lange C. de,
Analyse op .Net software
dr. Jurriaan Hage, prof. dr. Doaitse Swierstra (0:0) |
|
| no pdf | 2003 | Hau C.,
Webservices in B2B
drs. Piet van Oostrum, prof. dr. Doaitse Swierstra (0:0) |
|
| no pdf | 2003 | Dam A. van,
Simplifying the Simplifier
dr. Eelco Visser |
|
| no pdf | 2003 | Moude Foko D.,
A Compiler implementation for UML/OCL
prof. dr. Doaitse Swierstra |
|
| no pdf | 2003 | Laven J.,
Typing dynamic web applications
dr. Atze Dijkstra, prof. dr. Doaitse Swierstra (0:0) |
|
| no pdf | 2002 | Ven R. van de,
Efficient instruction selection using attribute grammars
dr. Jurriaan Hage |
|
| no pdf | 2002 | Klein R.,
Visualisatie van Systeemarchitecturen
dr. Atze Dijkstra |
|
| no pdf | 2002 | Roshum M.,
Tools for Navision Solution Developers
drs. Piet van Oostrum, prof. dr. Doaitse Swierstra (0:0) |
|
| no pdf | 2003 | Vossen R.,
ODDS : online distributed decision support
drs. Piet van Oostrum, prof. dr. Doaitse Swierstra (0:0) |
|
| no pdf | 2002 | Swart L.A.,
Partial Evaluation Using Rewrite Rules : A Specification of a Partial Evaluator for Similix in Stratego
dr. Eelco Visser |
|
| no pdf | 2002 | Rietveld E.,
Programmeren met patronen in Java
dr. Atze Dijkstra |
|
| no pdf | 2002 | Hagg P.W.,
A framework for developing generic XML tools
prof. dr. Johan Jeuring |
|
| no pdf | 2002 | Wit J. de,
A technical overview of generic Haskell
prof. dr. Johan Jeuring |
|
| no pdf | 2002 | Westra H.,
Configurable Transformations for High-Quality Automatic Program Improvement : CobolX : a Case Study
prof. dr. Doaitse Swierstra, dr. Eelco Visser (0:0) |
|
| no pdf | 2001 | Soepenberg H.,
Een Algoritme voor Abductieve Diagnose met Interacties
dr. Atze Dijkstra |
|
| no pdf | 2001 | Essen H. van de,
BizTalk Server 2000
dr. Erik Meijer, prof. dr. Doaitse Swierstra (0:0) |
|
| no pdf | 2001 | Velzen D. van,
An XSLT implementation in Haskell
prof. dr. Johan Jeuring |
|
| no pdf | 2003 | IJmker J.,
Dependency Analysis in Attribute Grammars
dr. Atze Dijkstra, prof. dr. Doaitse Swierstra (0:0) |
|
| no pdf | 2001 | Dolstra E.,
First class rules and generic traversals for program Transformation Languages
dr. Eelco Visser |
|
| no pdf | 2001 | Houtman A.,
A Voice Response System Model in Java, an implementation with Parity software's voicebocx
dr. Erik Meijer, Erik Meijer |
|
| no pdf | 2001 | Bruijn A. de,
Implementation of inlining in stratego
dr. Eelco Visser |
|
| no pdf | 2001 | Rommes E.,
Voorbij Object Orientatie, een vergelijkend onderzoek naar geavanceerde separation of Concerns technieken
dr. Atze Dijkstra |
|
| no pdf | 2000 | Leushuis H.,
Een flexibele expresseparser
prof. dr. Doaitse Swierstra |
|
| no pdf | 2001 | Hoekstra G.,
Learning and communicating in Robocup
dr. Erik Meijer |
|
| no pdf | 2000 | Heeren B.,
Improving type-error messages in functional languages
prof. dr. Johan Jeuring, prof. dr. Doaitse Swierstra (0:0) |
|
| no pdf | 2000 | Roorda J.W.,
Pure type systems for functional programming
prof. dr. Johan Jeuring |
|
| no pdf | 2000 | Rietschoten van D.,
Feasibility study : extending MOSES with HLA capabilities
dr. Lex Bijlsma |
|
| no pdf | 2000 | Baars A.I.,
Typed Syntax Macros
prof. dr. Doaitse Swierstra |
|
| no pdf | 2000 | Verduin R.,
Fray : Functional Raytracing
dr. Erik Meijer |
|
| no pdf | 2000 | Welvaart C.,
Generic WYSIWYG Editing
prof. dr. Doaitse Swierstra |
|
| no pdf | 1999 | Lee. W.K.,
Table Rounding Problem, An Example of Java/COM application
prof. dr. Doaitse Swierstra |
|
| no pdf | 1999 | Boer. P.H.,
Kwaliteit van software ontwikkeling in organisatie
prof. dr. (em.) Jan van Leeuwen, drs. Edwin Veenendaal (0:0) |
|
| no pdf | 1999 | Halenbeek J.,
Comparing Approaches to Polytypic Programming
prof. dr. Johan Jeuring, prof. Lambert Meertens (0:0) |
|
| no pdf | 1998 | Senden R.,
Transaction Processing Monitors. An object-oriented approach
drs. Piet van Oostrum |
|
| no pdf | 1998 | Lange M. de,
Ontwerp en implementatie van een prototype van het Bank of the Future Systeem
dr. Atze Dijkstra |
|
| no pdf | 1998 | Bouwkamp H.S.,
Java Just-In-Time compilation on the TriMedia processor
prof. dr. Doaitse Swierstra |
|
| no pdf | 1998 | Hommersom H.,
Product families, Configuration and Constraints
prof. dr. Doaitse Swierstra |
|
| no pdf | 1998 | Nikkels J.,
Bouwen onder architectuur
ing. Gert Florijn |
|
| no pdf | 1998 | Jonker M.,
Rapid process design
ing. Gert Florijn, prof. dr. Wim Scheper (0:0) |
|
| no pdf | 1998 | Heus M. de,
Generation of Electronic Interactive Forms
prof. dr. Doaitse Swierstra |
|
| no pdf | 1998 | Opmeer P.,
Integratie van ERP en PDM in CORBA
drs. Piet van Oostrum |
|
studadm@cs.uu.nl,
Sat, 25 May 2013 10:17:00 +0200
←
Departement Informatica, Universiteit Utrecht