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 - Frank Lyner

Master Thesis - Runtime Universe Type Inference

The goal of this master's project is to infere the Universe type information for programs by observing program executions.

Project Timeframe: January until July 2005
Project Description: PDF
Project Report: PDF
Supervisor: Werner M. Dietl

 

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