Home
Address
Schedule
Personal
Research
Publications
Supervised MSc Theses
Ph D Students
Master Students
Reports
Talks
Downloads
Projects
Helium
Holmes
Marble
Neon
Top
Open projects
Master projects
Experimentation projects
Teaching
FP
|
SP
APA
|
COSC Coll
EA
|
B3SO
My other websites
IFL Symposia
Axiom of Choice
iO Pages
Master OAC
Center
Master Program
Stc
Center
Home
Courses
People
Projects
Page
Edit Page
Rename Page
Attach File
Printable
Wiki Source
More ...
Web
Recent Changes
Notify Service
News
Page Index
Search
More ...
Wiki
About TWiki
Text Formatting
Registration
Change Password
Reset Password
Users
Groups
Log In
or
Register
Experimentation Projects
Hage
There are projects (under my supervision) that can be done within the context of an Experimentation Project. Some of these can't be more than 7,5 Ects, in some cases a project of 15,0 is a possibility. ---+++ Available projects * Build a variant of, say, vimdiff, for comparing source files modulo identifier changes and method reorderings (in the context of Java and C#) * Perform an empirical study of quality versus cost for soft typing analyes of Python (the implementation of these analyses is ready) * [[Master.Intern.ExperimentationProject#EhcBackend][Using EHC's backend as a backend for Helium]] * [[Master.Intern.ExperimentationProject#code_generation_for_type_classes][Code generation for type classes in Helium]] * [[Master.Intern.ExperimentationProject#TypeDirectives][Making type directives for Helium more mature]] * [[Master.Intern.ExperimentationProject#PlagiarismProg][Implementing and testing a generic plagiarism detection tool for computer programs]] * [[Master.Intern.ExperimentationProject#RepairSystems][Type error repair systems]] ---+++ Completed projects * [[Master.Intern.ExperimentationProject#Extending_PHP_Validator_to_deal][Extending PHP Validator to deal with objects]] -- Marcelo Sousa * Reimplementing PHP Validator in Haskell -- Henk Erik van der Hoek * Reimplementing Holmes for full Haskell -- Gerben Verburg * [[Master.Intern.ExperimentationProject#PlagiarismPapers][Implementing and testing a plagiarism detection tool for written papers]] -- Mathijs Swint * [[Master.Intern.ExperimentationProject#TypeClassesHelium][Adding type classes to Helium]] -- Jeroen Weijers -- Main.JurriaanHage - 4 May 2012