Download: PDF.

“Interaction with Ownership Graphs” by Marco Meyer. Mar. 2006. Semester project.


The Universe Type System is used to structure the object store and poses some rules to references between such objects. Java programs can be annotated with these rules called Universe Type annotations to control access between components. Research in this field has been done with the goal to infer Universe Types automatically. This report describes two projects supporting this work. First, we developed a tool to insert the obtained Universe Type annotations into Java source code. The second project is a visualization tool for the algorithm of the Runtime Universe Type Inference project.

Download: PDF.

BibTeX entry:

   author = {Marco Meyer},
   title = {{Interaction with Ownership Graphs}},
   month = mar,
   note = {Semester project}

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

(This webpage was created with bibtex2web.)