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]

Verteidigungen
Masterverteidigung Alexander Twrdik Raum: Z417
Beginn: 26.09.17 - 14:00