Download: PDF.

“Dynamic Typechecking in the Universe Type System” by Daniel Schregenberger. Oct. 2004. Semester project.


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:

   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.

(This webpage was created with bibtex2web.)