Student Project: Implementing a Universe Type Checker in Scala
Download: PDF.
“Implementing a Universe Type Checker in Scala” by Manfred Stock. Jan. 2008. Master's thesis.
Abstract
The Universe type system is based on the concept of ownership where every object has at most one owner object. It structures the object store using different contexts, which are sets of objects with the same owner, and restricts how references can be passed and used. When enforcing the owner-as-modifier property, the Universe type system guarantees that any modification of an object can only be initiated by its owner object.
Scala is a multi-paradigm programming language combining features of object-oriented and functional languages. It supports compiler plugins and annotations on types which allows the implementation of additional type constraints such as those imposed by the Universe type system.
This thesis presents an implementation of the Universe type system for Scala. The implementation supports a subset of the Scala language. It provides two compiler plugins for the Scala compiler and a set of annotations for the use in programs. One plugin performs the static Universe type checks and the other plugin inserts additional runtime checks during compilation.
Download: PDF.
BibTeX entry:
@unpublished{MStock08,
author = {Manfred Stock},
title = {{Implementing a Universe Type Checker in Scala}},
month = jan,
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.)