We do not maintain this page any more.
Please visit our new web presence for up-to-date information.

Chair of Programming Methodology

SCT Student Projects - Mathias Ottiger

Master Thesis - Runtime Support for Generics and Transfer in Universe Types

The goal of this master’s project is to extend the JML implementation of the Universe Type system with the runtime support for generics and ownership transfer.

Project Timeframe:	February 2007 until August 2007
Project Description:	PDF
Project Report:	PDF
Supervisor:	Arsenii Rudich
Co-supervisor:	Werner M. Dietl