Direkt zum InhaltDirekt zur Navigation

Type-Checking and Overloading-Resolution for Hoopla

Karsten Jung
Diplomarbeit, Nr. 1386, Universität Stuttgart, Fakultät Informatik, 1997.

 

Abstract

This thesis deals with the development and design of the type-checker for the new object--oriented programming language "Hoopla''. Since "Hoopla'' contains multi-methods and subprograms may return arbitrary numbers of return values, a new resolution algorithm for subprogram calls was necessary. Moreover, the type-checker ensures at compile time that runtime dispatching is always possible. The type checking algorithm is specified formally using the Vienna Development Method (VDM).

 

[Download PDF]

Termine
24. Sitzung des Fakultätsrats 20.12.2017 12:30 - 14:00 — Z 417
Verteidigungen
Masterverteidigung Tim Menapace Raum: Gu 110
Beginn: 18.12.17 - 11:15