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 - Phokham Nonava

Semester Project - A Universe Type Checker using JSR308

JSR 308 is extending the possible locations of annotations in Java source code. Annotations will be possible on all occurrences of types and implementing realistic type systems is becoming an option. A reference implementation and compiler-plugin framework for JSR 308 is now available.

The goal of this semester thesis is the development of a JSR 308 compiler-plugin that checks the rules of Generic Universe Types.

Project Timeframe: Summer semester 2008
Project Description: PDF
Supervisor: Werner M. Dietl