Article

Free access

Compound types for Java

Authors:

Wolfgang WeckAuthors Info & Claims

OOPSLA '98: Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Pages 362 - 373

https://doi.org/10.1145/286936.286975

Published: 01 October 1998 Publication History

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.

References

[1]

Ole Agesen, Stephen N. Freund, and John C. Mitchell. Adding type parameterization to the Java language. In Proceedings of OOPSLA '97, pages 49-65. ACM Press, 1997.]]

Digital Library

[2]

Kim B. Bruce, Robert van Gent, and Angela Schuett. Poly- TOIL: A type-safe polymorphic object-oriented language. In Proceedings of ECOOP '95, pages 27-51. LNCS 952, Springer Verlag, 1995.]]

Digital Library

[3]

Martin Bfichi and Wolfgang Weck. Java needs compound types. Technical Report 182, Turku Centre for Computer Science, 1998. http://www.tucs.fi/publications/techreports/TR 182.html.]]

Digital Library

[4]

Luca Cardelli. Type systems. In Handbook of Computer Science and Engineering, chapter 103. CRC Press, 1997. http://www.luca.demon.co.uk/Papers.html.]]

[5]

Luca Cardelli, James Donahue, Lucille Glassman, Mick Jordanand Bill Kalsow, and Greg Nelson. Modula-3 report (revised). Research Report 52, Systems Research Center, Digital Equipment Corporation, Palo Alto, November 1989. http://www.research.digital.com/src/m3defn/html/.]]

[6]

David Chappell. Understanding ActiveX and OLE. Microsoft Press, 1996.]]

Digital Library

[7]

Netscape Communications. Netscape Piug-lns, 1998. http://developer.netscape.com/docs/manuals/communicator/ plugin/index.htm.]]

[8]

William Cook. A proposal for making Eiffel type-safe. In Proceedings of ECOOP '89, pages 57-70. Cambridge University Press, 1989.]]

Digital Library

[9]

M. Coppo and M. Dezani-Ciancaglini. A new type assignment for ~.-terms. Archiv. Math. Logik, 19:139-156, 1978.]]

[10]

Brad Cox. Planning the software industrial revolution. Software Technologies of the 90"s special issue of lEEE Software magazine, November 1990.]]

Digital Library

[11]

B. Gomes, D. Stoutamire, B. Weisssman, and H. Klawitter. Sather 1.1 : Language essentials, 1998. http://www.icsi.berkeley.edu/-sather/Documentation/LanguageDes cri pti on/contents, html.]]

[12]

James Gosling, Bill Joy, and Guy Steele. The Java Language Specification. Addison Wesley, 1996.]]

Digital Library

[13]

Object Management Group. The common object request broker: Architecture and specification, 1997. Revision 2.0, formal document 97-02-25, http://www.omg.org.]]

[14]

Rosziati Ibrahim and Clemens Szyperski. The COMEL language. Technical Report FIT-TR-97-06, Faculty of Information Technology, Queensland University of Technology, Brisbane, Australia, 1997. http://www.fit.qut.edu.au/TR/techreports/FIT-TR-97- 06.ps.Z.]]

Digital Library

[15]

Ralph Keller and Urs HOlzle. Binary component adaptation. In Proceedings of ECOOP '98. LNCS, Springer Verlag, 1998. http ://w w w. cs. ucsb.edu/oocsb/papers/ec oop98, html.]]

Digital Library

[16]

Konstantin L~iufer, Gerald Baumgartner, and Vincent E Russo. Safe structural conformance for Java. Technical Report CSD-TR-96-077, Department of Computer Science, Purdue University, 1996.]]

[17]

Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification. Addison Wesley, 1996.]]

Digital Library

[18]

Lingsoft. Orthografix: Finnish proofing tools for Microsoft Word, 1998. http://www.lingsoft.fi/.]]

[19]

Barbara H. Liskov and Jeanette M. Wing. A behavioral notion of subtyping. ACM Transactions on Programming Languages and Systems, 16(6):1811-1841, November 1994.]]

Digital Library

[20]

Boris Magnusson. Code reuse considered harmful. Journal of Object-Oriented Programming, 4(3):8, November 1991.]]

[21]

Michael Mattsson and Jan Bosch. Framework composition: Problems, causes and solutions. In Proceedings of TOOLS USA 97, 1997.]]

Digital Library

[22]

McIllroy. Mass-produced software components. In Peter Naur, Brian Randell, and J. N. Buxton, editors, Software engineering: concepts and techniques: proceedings of the NATO conferences. The Conference on Software Engineering held in Garmisch, Germany, 7th to l lth October 1968. Petrocelli/Charter, 1976.]]

[23]

Bertrand Meyer. Object-Oriented Software Construction. Prentice Hall, second edition, 1997.]]

Digital Library

[24]

Anna Mikhajlova and Emil Sekerinski. Class refinement and interface refinement in object-oriented programs. In Proceedings of FME'97: Industrial Applications and Strengthened Foundations of Formal Methods, pages 82-10 I. LNCS 1313, Springer Verlag, 1997.]]

Digital Library

[25]

NeXT Software, Inc. Object-Oriented Programming and the Objective-C Language. Addison-Wesley, 1993. http://developer.apple.com/techpubs/rhapsody/ObjectiveC/.]]

Digital Library

[26]

Tobias Nipkow and David von Oheimb. Javatight is type-safe definitely. In Proc. 25th A CM Syrup. Principles of Programming Languages, pages 161-170. ACM Press, 1998.]]

Digital Library

[27]

Lawrence C. Paulson. Isabelle: A Generic Theorem Prover. LNCS 828, Springer Verlag, 1994. See also http://www.cl.cam.ac.uk/Research/HVG/isabelle.html.]]

[28]

Roly Perera and Peter Bertelsen. The unofficial Java spec report, 1997. http://www.nodule.demon.co.uk/java/java- 1.0spec-bugs.htm.]]

[29]

Cuno Pfister. Component software: A case study using Black- Box components (online tutorial of the BlackBox Component Builder), I997. http://www.oberon.ch.]]

[30]

Benjamin C. Pierce. Intersection types and bounded polymorphism. Mathematical Structures in Computer Science, 7(2):129-193, April 1997.]]

Digital Library

[31]

John C. Reynolds. Design of the programming language Forsythe. In Algol-like Languages, volume 1, pages 173- 234. Birkhfiuser, 1997. Also available as CMU-CS-96- 146, ftp://reports.adm.cs.cmu.edu/usr/anon/1996/CMU-CS- 96-146.ps. gz.]]

Digital Library

[32]

Dale Rogerson. Inside COM. Microsoft Press, 1996. See also http://www.microsoft.com/com/.]]

Digital Library

[33]

E Sall6. Une extension de la th6ory des types en ~-calcul. In Proceedings of Automata, Languages and Programming, pages 398-410. LNCS 61, Springer Verlag, 1978.]]

Digital Library

[34]

Sun Microsystems, Inc. Java Beans, 1997. http://splash.j avasoft.com/beans/.]]

[35]

Clemens Szyperski. Component Software : Beyond Objectoriented Programming. Addison-Wesley, 1998.]]

Digital Library

[36]

David von Oheimb and Tobias Nipkow. Machine-checking the Java specification: Proving type-safety. In Jim Alves- Foss, editor, Formal Syntax and Semantics of Java. LNCS, Springer Verlag, 1998, to appear.]]

Digital Library

Cited By

Pearce D(2017)Rewriting for sound and complete union, intersection and negation typesACM SIGPLAN Notices10.1145/3170492.313604252:12(117-130)Online publication date: 23-Oct-2017
https://dl.acm.org/doi/10.1145/3170492.3136042
Pearce DFlatt MErdweg S(2017)Rewriting for sound and complete union, intersection and negation typesProceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences10.1145/3136040.3136042(117-130)Online publication date: 23-Oct-2017
https://dl.acm.org/doi/10.1145/3136040.3136042
Freudenreich TEugster PFrischbier SAppel SBuchmann A(2013)Implementing federated object systemsProceedings of the 27th European conference on Object-Oriented Programming10.1007/978-3-642-39038-8_10(230-254)Online publication date: 1-Jul-2013
https://dl.acm.org/doi/10.1007/978-3-642-39038-8_10
Show More Cited By

Index Terms

Compound types for Java
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Software implementation planning
        Software design techniques
    2. Software development process management
  2. Software notations and tools
    1. General programming languages
      1. Language types
        Object oriented languages
2. Theory of computation
  1. Semantics and reasoning
    1. Program constructs
      1. Type structures

Recommendations

Compound types for Java

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 ...
Java Needs Compound Types
Practical pluggable types for java
ISSTA '08: Proceedings of the 2008 international symposium on Software testing and analysis

This paper introduces the Checker Framework, which supports adding pluggable type systems to the Java language in a backward-compatible way. A type system designer defines type qualifiers and their semantics, and a compiler plug-in enforces the ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

OOPSLA '98: Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

October 1998

428 pages

ISBN:1581130058

DOI:10.1145/286936

Chairmen:
Bjorn Freeman-Benson
Object Technology International, Victoria, B.C., Canada
,
Craig Chambers
Univ. of Washington, Seattle

ACM SIGPLAN Notices Volume 33, Issue 10
Oct. 1998
412 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/286942
Chairmen:
Bjorn Freeman-Benson
Object Technology International, Victoria, B.C., Canada
,
Craig Chambers
Univ. of Washington, Seattle
Issue’s Table of Contents

Copyright © 1998 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 October 1998

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

OOPSLA98

Sponsor:

SIGPLAN

OOPSLA98: Conference on Object Oriented Programming Systems Languages and Applications

October 18 - 22, 1998

British Columbia, Vancouver, Canada

Acceptance Rates

Overall Acceptance Rate 268 of 1,244 submissions, 22%

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

30
Total Citations
View Citations
749
Total Downloads

Downloads (Last 12 months)167
Downloads (Last 6 weeks)52

Reflects downloads up to 06 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Pearce D(2017)Rewriting for sound and complete union, intersection and negation typesACM SIGPLAN Notices10.1145/3170492.313604252:12(117-130)Online publication date: 23-Oct-2017
https://dl.acm.org/doi/10.1145/3170492.3136042
Pearce DFlatt MErdweg S(2017)Rewriting for sound and complete union, intersection and negation typesProceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences10.1145/3136040.3136042(117-130)Online publication date: 23-Oct-2017
https://dl.acm.org/doi/10.1145/3136040.3136042
Freudenreich TEugster PFrischbier SAppel SBuchmann A(2013)Implementing federated object systemsProceedings of the 27th European conference on Object-Oriented Programming10.1007/978-3-642-39038-8_10(230-254)Online publication date: 1-Jul-2013
https://dl.acm.org/doi/10.1007/978-3-642-39038-8_10
Pearce D(2013)Sound and Complete Flow Typing with Unions, Intersections and NegationsProceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation - Volume 773710.1007/978-3-642-35873-9_21(335-354)Online publication date: 20-Jan-2013
https://dl.acm.org/doi/10.1007/978-3-642-35873-9_21
Reza J(2012)Java supervenienceComputer Languages, Systems and Structures10.1016/j.cl.2011.08.00238:1(73-97)Online publication date: 1-Apr-2012
https://dl.acm.org/doi/10.1016/j.cl.2011.08.002
Wehr SThiemann P(2011)JavaGIACM Transactions on Programming Languages and Systems10.1145/1985342.198534333:4(1-83)Online publication date: 1-Jul-2011
https://dl.acm.org/doi/10.1145/1985342.1985343
Lau KRana T(2010)A Taxonomy of Software Composition MechanismsProceedings of the 2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications10.1109/SEAA.2010.36(102-110)Online publication date: 1-Sep-2010
https://dl.acm.org/doi/10.1109/SEAA.2010.36
Gil JMaman I(2008)WhiteoakACM SIGPLAN Notices10.1145/1449955.144977143:10(73-90)Online publication date: 19-Oct-2008
https://dl.acm.org/doi/10.1145/1449955.1449771
Gil JMaman IHarris GKiczales GRiehle DBlack A(2008)WhiteoakProceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications10.1145/1449764.1449771(73-90)Online publication date: 19-Oct-2008
https://dl.acm.org/doi/10.1145/1449764.1449771
Fabresse LDony CHuchard M(2007)Scl: A Simple, Uniform and Operational Language for Component-Oriented Programming in SmalltalkAdvances in Smalltalk10.1007/978-3-540-71836-9_5(91-110)Online publication date: 2007
https://doi.org/10.1007/978-3-540-71836-9_5
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents