SciDok

Eingang zum Volltext in SciDok

Hinweis zum Urheberrecht

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


Generativity and dynamic opacity for abstract types (extended version)

Rossberg, Andreas

pdf-Format:
Dokument 1.pdf (254 KB)

Bookmark bei Connotea Bookmark bei del.icio.us
SWD-Schlagwörter: Typisierung
Freie Schlagwörter (Englisch): Abstract Types
Institut: Fachrichtung 6.2 - Informatik
DDC-Sachgruppe: Informatik
Dokumentart: Report (Bericht)
Sprache: Englisch
Erstellungsjahr: 2003
Publikationsdatum: 29.06.2004
Kurzfassung auf Englisch: The standard formalism for explaining abstract types is existential quantification. While it provides a sufficient model for type abstraction in entirely statically typed languages, it proves to be too weak for languages enriched with forms of dynamic typing, where parametricity is violated. As an alternative approach to type abstraction that addresses this shortcoming we present a calculus for dynamic type generation. It features an explicit construct for generating new type names and relies on coercions for managing abstraction boundaries between generated types and their designated representation. Sealing is represented as a generalized form of these coercions. The calculus maintains abstractions dynamically without restricting type analysis.

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