Compound types for Java
Lade...
Autor:innen
Autor:in (Körperschaft)
Publikationsdatum
01.10.1998
Typ der Arbeit
Studiengang
Typ
04B - Beitrag Konferenzschrift
Herausgeber:innen
Herausgeber:in (Körperschaft)
Betreuer:in
Übergeordnetes Werk
Proceedings of the 13th ACM SIGPLAN conference on object-oriented programming, systems, languages, and applications
Themenheft
DOI der Originalpublikation
Link
Reihe / Serie
Reihennummer
Jahrgang / Band
Ausgabe / Nummer
Seiten / Dauer
362-373
Patentnummer
Verlag / Herausgebende Institution
ACM
Verlagsort / Veranstaltungsort
New York
Auflage
Version
Programmiersprache
Abtretungsempfänger:in
Praxispartner:in/Auftraggeber:in
Zusammenfassung
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.
Schlagwörter
Veranstaltung
OOPSLA98. Conference on Object Oriented Programming Systems Languages and Applications
Startdatum der Ausstellung
Enddatum der Ausstellung
Startdatum der Konferenz
18.10.1998
Enddatum der Konferenz
22.10.1998
Datum der letzten Prüfung
ISBN
978-1-58113-005-8
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. (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