Compound types for Java
Loading...
Authors
Author (Corporation)
Publication date
01.10.1998
Typ of student thesis
Course of study
Collections
Type
04B - Conference paper
Editors
Editor (Corporation)
Supervisor
Parent work
Proceedings of the 13th ACM SIGPLAN conference on object-oriented programming, systems, languages, and applications
Special issue
DOI of the original publication
Link
Series
Series number
Volume
Issue / Number
Pages / Duration
362-373
Patent number
Publisher / Publishing institution
ACM
Place of publication / Event location
New York
Edition
Version
Programming language
Assignee
Practice partner / Client
Abstract
Type compatibility can be defined based on name equivalence, that is, explicit declarations, or on structural matching. We argue that component software has demands for both. For types expressing individual contracts, name equivalence should be used so that references are made to external semantical specifications. For types that are composed of several such contracts, the structure of this composition should decide about compatibility. We introduce compound types as the mechanism to handle such compositions. To investigate the integrability into a strongly typed language, we add compound types to Java and report on a mechanical soundness proof of the resulting type system. Java users benefit from the higher expressiveness of the extended type system. We introduce compound types as a strict extension of Java, that is without invalidating existing programs. In addition, our proposal can be implemented on the existing Java Virtual Machine.
Keywords
Event
OOPSLA98. Conference on Object Oriented Programming Systems Languages and Applications
Exhibition start date
Exhibition end date
Conference start date
18.10.1998
Conference end date
22.10.1998
Date of the last check
ISBN
978-1-58113-005-8
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. (1998). Compound types for Java. In B. Freeman-Benson & C. Chambers (Eds.), Proceedings of the 13th ACM SIGPLAN conference on object-oriented programming, systems, languages, and applications (pp. 362–373). ACM. https://doi.org/10.1145/286936.286975