Student Project: Dynamic Typechecking in the Universe Type System
Download: PDF.
“Dynamic Typechecking in the Universe Type System” by Daniel Schregenberger. Oct. 2004. Semester project.
Abstract
The goal of this semester project is to design and implement runtime checks for the Universe type system. This involves the design of a method to store the ownership relation at runtime, the implementation in the Universe Compiler, the generation of the bytecode for the runtime tests and the creation of testcases for the dynamic checks. Chapter 1 explains the motivation for this semester project by giving a short introduction to the Universe type system and then discussing the runtime tests in Java and Universe Java. Possible approaches for data structures are discussed in chapter 2. Chapter 3 provides a description of the runtime tests in terms of sourcecode transformations. The actual implementation is then described in chapter 4. Finally chapter 4.4 describes the test cases that have been developed to ensure the functionality of the dynamic checks and in chapter 5 the solution is discussed and analyzed.
Download: PDF.
BibTeX entry:
@unpublished{DSchregenberger04,
author = {Daniel Schregenberger},
title = {{Dynamic Typechecking in the Universe Type System}},
month = oct,
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.)