SciDok

Eingang zum Volltext in SciDok

Lizenz

Report (Bericht) zugänglich unter
URN: urn:nbn:de:bsz:291-scidok-42219
URL: http://scidok.sulb.uni-saarland.de/volltexte/2011/4221/


Polymorphic type inference for a simple object oriented programming language with state

Hense, Andreas V.

Quelle: (1990) Saarbrücken, 1990
pdf-Format:
Dokument 1.pdf (6.939 KB)

Bookmark bei Connotea Bookmark bei del.icio.us
Freie Schlagwörter (Englisch): class inheritance , subtyping , imperative features
Institut: Fachrichtung 6.2 - Informatik
DDC-Sachgruppe: Informatik
Dokumentart: Report (Bericht)
Schriftenreihe: Technischer Bericht / A / Fachbereich Informatik, Universität des Saarlandes
Bandnummer: 1990/20
Sprache: Englisch
Erstellungsjahr: 1990
Publikationsdatum: 07.09.2011
Kurzfassung auf Englisch: 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.
Lizenz: Standard-Veröffentlichungsvertrag

Home | Impressum | Über SciDok | Policy | Kontakt | Datenschutzerklärung | English