SCT Student Projects - Annetta Schaad
Goal of this master’s project is to extend the Universe Type System with inferring Universe annotations in the presents of
ownership transfer and to implement it in the MultiJava/JML Compiler.
| Project Timeframe: |
May 2007 until November 2007 |
| Project Description: |
PDF |
| Project Report: |
PDF |
| Supervisor: |
Arsenii Rudich |
Goal of this semester project is to investigate how the
Universe type system could be used in Eiffel.
| Project Timeframe: |
Summer semester 2006 |
| Project Description: |
PDF |
| Project Report: |
PDF |
| Supervisor: |
Werner M. Dietl |
| 
