Student Project: Generic Universe Types in JML
Download: PDF.
“Generic Universe Types in JML” by Robin Züger. July 2007. Master's thesis.
Abstract
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:
@unpublished{RZueger07,
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.
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.)