Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-25766
Titel: Generativity and dynamic opacity for abstract types (extended version)
Verfasser: Rossberg, Andreas
Sprache: Englisch
Erscheinungsjahr: 2003
SWD-Schlagwörter: Typisierung
Freie Schlagwörter: Abstract Types
DDC-Sachgruppe: 004 Informatik
Dokumentart : Report (Bericht)
Kurzfassung: 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.
Link zu diesem Datensatz: urn:nbn:de:bsz:291-scidok-2795
hdl:20.500.11880/25822
http://dx.doi.org/10.22028/D291-25766
SciDok-Publikation: 29-Jun-2004
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 
generativity-extended.pdf253,69 kBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.