Download: PDF.

“Generic Universe Types in JML” by Robin Züger. July 2007. Master's thesis.


Ownership is a powerful concept to structure the object store and to control aliasing and modifications of objects. Generic Universe Types is the first type system to combine the owner-as-modifier discipline with type genericity.

This report presents the implementation of Generic Universe Types in the Java Modeling Language. It also describes how concepts of Java such as arrays, exceptions, raw types and wildcards can be added. Furthermore, an approach is presented to infer the ownership structure for a normal Java program with generic types.

Download: PDF.

BibTeX entry:

   author = {Robin Z\{"u}ger},
   title = {{Generic Universe Types in JML}},
   month = jul,
   note = {Master's thesis}

Back to the student projects sorted by date or by category.

(This webpage was created with bibtex2web.)