| Bibliography | Jung, Karsten: Type-Checking and Overloading-Resolution for Hoopla.
University of Stuttgart, Faculty of Computer Science, Diploma Thesis No. 1386 (1997).
160 pages, english.
|
|---|
| CR-Schema | 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 |
|---|
| 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)
|
|---|
Full text and
other links | PostScript (947069 Bytes)
Access to students' publications restricted to the faculty due to current privacy regulations |
|---|
| Department(s) | University of Stuttgart, Institute of Computer Science, Programming Languages and Compilers
|
|---|
| Entry date | February 27, 1997 |
|---|