Download: PDF.

“Implementation of a Universe type checker in ESC/Java2” by Dirk Wellenzohn. Oct. 2005. Semester project.

Abstract

Available in German only! Das Ziel dieser Semesterarbeit ist die Implementierung des Universe-Typsystem in ESC/Java 2. Das erfordert die Analyse von ESC/Java 2 und das Auffinden von Möglichkeiten das Parsing und das Typchecking zu erweitern. Kapitel 1 erklärt das Universe-Typsystem und dessen Regeln. Kapitel 2 beschreibt kurz die Architektur und Funktionsweise von ESC/Java 2. Kapitel 3 zeigt die gewählte Implementation und begründet Designentscheidungen. In Kapitel 4 werden ein Fazit gezogen und offene Punkte angesprochen.

Download: PDF.

BibTeX entry:

@unpublished{DWellenzohn05,
   author = {Dirk Wellenzohn},
   title = {{Implementation of a Universe type checker in ESC/Java2}},
   month = oct,
   note = {Semester project}
}

Back to the student projects sorted by date or by category.


(This webpage was created with bibtex2web.)