Direkt zum InhaltDirekt zur Navigation

Type-Checking and Overloading-Resolution for Hoopla

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



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]

JUG Saxony Camp 06.04.2018 09:00 - 18:00 — Nieper-Bau
Bachelorverteidigung Viet Duc Nguyen Raum: Z 417
Beginn: 29.03.18 - 09:00
Masterverteidigung Viola Elsenhans Raum: Z 417
Beginn: 06.04.18 - 09:30