Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-25899
Titel: Polymorphic type inference for object-oriented programming languages
Verfasser: Hense, Andreas V.
Sprache: Englisch
Erscheinungsjahr: 1994
SWD-Schlagwörter: Typinferenzsystem
Objektorientierte Programmiersprache
Freie Schlagwörter: OSMALL
type inference
object-oriented programming
DDC-Sachgruppe: 004 Informatik
Dokumentart : Dissertation
Kurzfassung: We present a type inference algoritm and its verification for an object-oriented programming language called OSMALL. OSMALL is a class-based language with imperative features. Classes are not first-class citizens. No type declarations are required. Type inference operates on an extended lambda-calculus into which OSMALL is translated. The system features extensible record types, mu-types, and imperative types. This work belongs to both theoretical and practical computer science. In the theoretical part, the type inference algoritm for our lambda-calculus with records is formalized in order-sorted logic. In the practical part, the algoritm for let-polymorphism and imperative features is based on well-known approaches. These approaches are presented in a new fashion but they are not proven correct.
- nicht vorhanden -
Link zu diesem Datensatz: urn:nbn:de:bsz:291-scidok-13290
hdl:20.500.11880/25955
http://dx.doi.org/10.22028/D291-25899
Erstgutachter: Smolka, Gert
Tag der mündlichen Prüfung: 24-Mai-1994
SciDok-Publikation: 9-Nov-2007
Fakultät: Fakultät 6 - Naturwissenschaftlich-Technische Fakultät I
Fachrichtung: MI - Informatik
Fakultät / Institution:MI - Fakultät für Mathematik und Informatik

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
Dissertation_9585_Hens_Andr_1994.pdf15,79 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.