Student Project: Interaction with Ownership Graphs
Download: PDF.
“Interaction with Ownership Graphs” by Marco Meyer. Mar. 2006. Semester project.
Abstract
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:
@unpublished{MMeyer05,
author = {Marco Meyer},
title = {{Interaction with Ownership Graphs}},
month = mar,
note = {Semester project}
}
Back to the student projects sorted by date or by category.
Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author’s copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
(This webpage was created with bibtex2web.)