Generic wrappers

Lade...
Vorschaubild
Autor:in (Körperschaft)
Publikationsdatum
2000
Typ der Arbeit
Studiengang
Typ
04B - Beitrag Konferenzschrift
Herausgeber:innen
Herausgeber:in (Körperschaft)
Betreuer:in
Übergeordnetes Werk
ECOOP 2000 - Object-Oriented Programming. 14th European Conference Sophia Antipolis and Cannes, France, June 12-16, 2000 Proceedings
Themenheft
DOI der Originalpublikation
Link
Reihe / Serie
Lecture Notes in Computer Science
Reihennummer
1850
Jahrgang / Band
Ausgabe / Nummer
Seiten / Dauer
201-225
Patentnummer
Verlag / Herausgebende Institution
Springer
Verlagsort / Veranstaltungsort
Berlin
Auflage
Version
Programmiersprache
Abtretungsempfänger:in
Praxispartner:in/Auftraggeber:in
Zusammenfassung
Component software means reuse and separate marketing of pre-man ufactured binary components. This requires components from different vendors to be composed very late, possibly by end users at run time as in compound-document frameworks. To this aim, we propose generic wrappers, a new language construct for strongly typed class-based languages. With generic wrappers, objects can be aggregated at run time. The aggregate belongs to a subtype of the actual type of the wrapped object. A lower bound for the type of the wrapped object is fixed at compile time. Generic wrappers are type safe and support modular reasoning. This feature combination is required for true component software but not achieved by known wrapping and combination techniques, such as the wrapper pattern or mix-ins. We analyze the design space for generic wrappers, e.g. overriding, forwarding vs. delegation, and snappy binding of the wrapped object. As a proof of concept, we add generic wrappers to Java and report on a mechanized type soundness proof of the latter.
Schlagwörter
Projekt
Veranstaltung
14th European Conference on Object-Oriented Programming
Startdatum der Ausstellung
Enddatum der Ausstellung
Startdatum der Konferenz
12.06.2000
Enddatum der Konferenz
16.06.2000
Datum der letzten Prüfung
ISBN
978-3-540-67660-7
978-3-540-45102-0
ISSN
Sprache
Englisch
Während FHNW Zugehörigkeit erstellt
Nein
Zukunftsfelder FHNW
Publikationsstatus
Veröffentlicht
Begutachtung
Peer-Review der ganzen Publikation
Open Access-Status
Closed
Lizenz
Zitation
Büchi, M., & Weck, W. (2000). Generic wrappers. In E. Bertino (Ed.), ECOOP 2000 - Object-Oriented Programming. 14th European Conference Sophia Antipolis and Cannes, France, June 12-16, 2000 Proceedings (pp. 201–225). Springer. https://doi.org/10.1007/3-540-45102-1_10