SCT Student Projects - Dirk Wellenzohn

The goal of this semester project is to integrate the Universe type system into ESC/Java2. The source code of ESC/Java2 has to be analyzed and ways to extend the type checking need to be found. It is not part of this project to integrate the Universe type system into the logical framework of ESC/Java2.