Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-26148
Titel: Polymorphic type inference for a simple object oriented programming language with state
Verfasser: Hense, Andreas V.
Sprache: Englisch
Erscheinungsjahr: 1990
Quelle: Saarbrücken, 1990
Freie Schlagwörter: class inheritance
subtyping
imperative features
DDC-Sachgruppe: 004 Informatik
Dokumentart : Report (Bericht)
Kurzfassung: We show how type inference for object oriented programming languages with state can be performed without type declarations. Our type inference system is based on the works of Remy and Wand which can in turn be traced back directly to Milner's classical type inference algorithm. O'small a simple object oriented language, is translated into mathcal{L}, a language of lambda-calculus with records and imperative features. Type inference rules are given for mathcal{L}. O'small-programs are type checked after being translated into mathcal{L}. We show that for translations of O'small-programs one can have a type system with principal types.
Link zu diesem Datensatz: urn:nbn:de:bsz:291-scidok-42219
hdl:20.500.11880/26204
http://dx.doi.org/10.22028/D291-26148
Schriftenreihe: Technischer Bericht / A / Fachbereich Informatik, Universität des Saarlandes
Band: 1990/20
SciDok-Publikation: 7-Sep-2011
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 
fb14_1990_20.pdf6,94 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.