Bibliograph.
Daten | Jung, Karsten: Type-Checking and Overloading-Resolution for Hoopla.
Universität Stuttgart, Fakultät Informatik, Diplomarbeit Nr. 1386 (1997).
160 Seiten, englisch.
|
|---|
| CR-Klassif. | D.3.2 (Language Classifications)
D.3.4 (Programming Languages Processors)
D.3.m (Programming Languages Miscellaneous)
F.2.m (Analysis of Algorithms and Problem Complexity Miscellaneous)
|
|---|
| Keywords | compiler; type checking; dispatching; overloading |
|---|
| Kurzfassung | 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)
|
|---|
Volltext und
andere Links | PostScript (947069 Bytes)
Zugriff auf studentische Arbeiten aufgrund vorherrschender Datenschutzbestimmungen nur innerhalb der Fakultät möglich |
|---|
| Abteilung(en) | Universität Stuttgart, Institut für Informatik, Programmiersprachen und Übersetzerbau
|
|---|
| Eingabedatum | 27. Februar 1997 |
|---|