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
Workshop Haskell in Leipzig - mit Hackathon 26.10.2017 - 28.10.2017 — N001
Stipendientag an der HTWK, 07.11.2017 07.11.2017 11:00 - 14:30 — Foyer des Nieper-Baus der HTWK
World Usability Day 09.11.2017, HTWK-Veranstaltung 09.11.2017 09:00 - 17:00 — HTWK Leipzig, Gutenberg-Bau
14. WIK-Leipzig 2017 an der HTWK Leipzig 29.11.2017 10:00 - 16:00 — Foyer des Nieper-Baus der HTWK
Verteidigungen
Bachelorverteidigung Eric Müller Raum: Z 417
Beginn: 20.10.17 - 13:00
Bachelorverteidigung Jeremias Deck Raum: *** Gu 115 ***
Beginn: 23.10.17 - 09:00
Bachelorverteidigung Martin Kolbe Raum: Z 417
Beginn: 23.10.17 - 12:00
Bachelorverteidigung Laura Heyne Raum: Z 417
Beginn: 23.10.17 - 13:30
Bachelorverteidigung Pascal Parussudis Raum: Z417
Beginn: 24.10.17 - 11:00