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 |
VerfasserIn: | Hense, Andreas V. |
Sprache: | Englisch |
Erscheinungsjahr: | 1990 |
Quelle: | Saarbrücken, 1990 |
Freie Schlagwörter: | class inheritance subtyping imperative features |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
Abstract: | 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 |
Datum des Eintrags: | 7-Sep-2011 |
Fakultät: | MI - Fakultät für Mathematik und Informatik |
Fachrichtung: | MI - Informatik |
Sammlung: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Dateien zu diesem Datensatz:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
fb14_1990_20.pdf | 6,94 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.