SCT Student Projects - Ovidio Mallo
Goal of this semester project is to extend the Universe type system
implementation of the MultiJava compiler to support generic types
following a recent master's thesis and a proposal for Generic Universes.
| Project Timeframe: |
Summer semester 2006 |
| Project Description: |
PDF |
| Project Report: |
PDF |
| Supervisor: |
Werner M. Dietl |
Goal of this master project is to implement a translator from Java bytecode to BoogiePL in Java based on the translation defined in earier work.
| Project Timeframe: |
Winter semester 2006/07 |
| Project Description: |
PDF |
| Project Report: |
PDF |
| Supervisor: |
Hermann Lehner |
|
