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 - Martin Klebermaß

Master Thesis - An Isabelle Formalization of the Universe Type System

The goal of this master project is to formalize the Universe type system using a FeatherweightJava-like syntax, extended with field updates. The formalization has to be proved using the thorem prover Isabelle/HOL.

Project Timeframe: October 2006 until April 2007
Project Description: PDF
Project Report: PDF
Supervisor: Tobias Nipkow, Werner M. Dietl

 

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