SCT Student Projects - Robin Züger

The goal of this master project is to integrate Generic Universe Types into the JML tools developed at Iowa State University. The existing implementation of the Universe Type System has to be extended by Generic Universe Types. Along the way, the MultiJava compiler, which the JML tools build on, needs to be improved.