Download: PDF.

“Static Universe Type Inference” by Nathalie Kellenberger. Oct. 2005. Master's thesis.


The Universe type system gives programmers the possibility to specify ownership information in Java source code and enforces a stricter runtime behavior that eases reasoning about software. These additional type modifiers have to be provided by the programmer. Adding these modifiers to an already existing large program can be a big effort. We developed an architecture that infers the Universe type annotations by static code analysis. As a proof of concept the architecture was implemented and successfully applied to real Java programs. This report covers every aspect of the information gathering and processing needed to perform this task.

Download: PDF.

BibTeX entry:

   author = {Nathalie Kellenberger},
   title = {{Static Universe Type Inference}},
   month = oct,
   note = {Master's thesis}

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

(This webpage was created with bibtex2web.)