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]

Nachrichten RSS
  • 04.10.2018
    Open Data Management Workshop im Rahmen der brasilianischen Web Konferenz (São Paulo)
    Bilateraler Open Data Management Workshop zwischen der HTWK und ...
    Weiterlesen
Termine
Informationsveranstaltung zum Auslandsstudium und Auslandspraktikum 24.10.2018 14:00 - 15:30 — G 119 / dann G 110
Informationsveranstaltung zu Stipendien für Studium & Promotion 07.11.2018 13:00 - 16:00 — Nieper-Bau, Räume s. Plan