Generic wrappers
Loading...
Authors
Author (Corporation)
Publication date
2000
Typ of student thesis
Course of study
Collections
Type
04B - Conference paper
Editors
Editor (Corporation)
Supervisor
Parent work
ECOOP 2000 - Object-Oriented Programming. 14th European Conference Sophia Antipolis and Cannes, France, June 12-16, 2000 Proceedings
Special issue
DOI of the original publication
Link
Series
Lecture Notes in Computer Science
Series number
1850
Volume
Issue / Number
Pages / Duration
201-225
Patent number
Publisher / Publishing institution
Springer
Place of publication / Event location
Berlin
Edition
Version
Programming language
Assignee
Practice partner / Client
Abstract
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.
Keywords
Subject (DDC)
Event
14th European Conference on Object-Oriented Programming
Exhibition start date
Exhibition end date
Conference start date
12.06.2000
Conference end date
16.06.2000
Date of the last check
ISBN
978-3-540-67660-7
978-3-540-45102-0
978-3-540-45102-0
ISSN
Language
English
Created during FHNW affiliation
No
Strategic action fields FHNW
Publication status
Published
Review
Peer review of the complete publication
Open access category
Closed
License
Citation
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