We do not maintain this page any more.
Please visit our new web presence for up-to-date information.
  Chair of Programming Methodology
ETH Zurich


Home
About
People
Research
Publications
Teaching
Projects



Department of Computer Science

SCT Student Projects - Nathalie Kellenberger

Master Thesis - Static Universe Type Inference

The goal of this project is to statically infer valid Universe type annotations for existing source code.

Project Timeframe: April until October 2005
Project Description: PDF
Project Report: PDF
Supervisor: Werner M. Dietl

 

Valid HTML 4.01! Last update: 26.10.2005 by Werner.Dietl@inf.ethz.ch