Whiteoak: Introducing structural typing into Java

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn , Issue , 2008, Pages 73-89

  Gil, Joseph ^a   Maman, Itay ^a  

^a TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

Abstraction; Java; Structural subtyping

Indexed keywords

ABSTRACTION; COMMON SOFTWARES; COMPILE-TIME; DESIGN PROBLEMS; IMPLEMENTATION TECHNIQUES; JAVA; LANGUAGE DESIGNS; RUN-TIME; SELF-REFERENCING; STRUCTURAL SUBTYPING; STRUCTURAL TYPES; TYPE SAFETIES;

ABSTRACTING; COMPUTER SOFTWARE; COMPUTER SYSTEMS PROGRAMMING; EMBEDDED SYSTEMS; INFORMATION THEORY; JAVA PROGRAMMING LANGUAGE; LINGUISTICS; QUERY LANGUAGES; SOFTWARE DESIGN;

OBJECT ORIENTED PROGRAMMING;

EID: 63549126167     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1449764.1449771     Document Type: Conference Paper

References (28)

1. R. M. Amadio and L. Cardelli. Subtyping recursive types. ACM Trans. on Prog. Lang. Syst., 15(4):575-631, 1993.
2. th Euro. Conf. on OO Prog. (ECOOP'OO), volume 1850 of LNCS, pages 154-178, Sophia Antipolis and Cannes, France, June 12-16 2000. Springer.
3. nd Ann. Conf. on OO Prog. Sys., Lang., & Appl. (OOPSLA'87), pages 430-440, Orlando, Florida, Oct. 4-8 1987. ACM SIGPLAN Notices 22(12).
4. M. P. Atkinson and O. P. Buneman. Types and persistence in database programming languages. ACM Comput. Surv., 19(2):105-170, 1987.
5. M. P. Atkinson and R. Welland. Fully Integrated Data Env.: Persistent Prog. Lang., Object Stores, and Prog. Env. Springer, Secaucus, NJ, USA, 2000.
6. th USENIX C++ Conf., pages 37-56, Cambridge, MA, Apr. 1994. USENIX Association.
7. G. Baumgartner and V. F. Russo. Implementing signatures for C++. ACM Trans. on Prog. Lang. Syst., 19(1): 153-187, Jan. 1997.
8. G. Bracha. The Programming Language Jigsaw: Mixins, Modularity and Multiple Inheritance. PhD thesis, Dept. of Comp. Sci., University of Utah, 1992.
9. th Ann. Conf. on OO Prog. Sys., Lang., & Appl. (OOPSLA'98), pages 183-200, Vancouver, British Columbia, Canada, Oct.18-22 1998. ACM SIGPLAN Notices 33(10).
10. K. B. Bruce and J. N. Foster. LOOJ: Weaving LOOM into Java. In Proceedings of the 18th European Conference on Object-Oriented Programming (ECOOP'04), pages 389-413, Oslo, Norway, June 14-18 2004.
11. th Ann. Conf. on OO Prog. Sys., Lang., & Appl. (OOPSLA'98), pages 362-373, Vancouver, British Columbia, Canada, Oct.18-22 1998. ACM SIGPLAN Notices 33(10).
12. B. Eckel. Thinking in C++. Prentice-Hall, Upper Saddle River, NJ, USA, 1995.
13. R. P. Gabriel, L. Northrop, D. C. Schmidt, and K. Sullivan. Ultra-large-scale systems. In OOPSLA '06: Companion to the 21st ACM SIGPLAN conference on Object-oriented programming languages, systems, and applications, pages 632-634. ACM Press, 2006.
14. E. Gamma, R. Helm, R. E. Johnson, and J. M. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Professional Computing series. Addison-Wesley, Reading, Massachusetts, 1995.
15. th Ann. Conf. on OO Prog. Sys., Lang., & Appl. (OOPSLA'99), pages 256-275, Denver, Colorado, Nov.1-5 1999. ACM Press, ACM SIGPLAN Notices 34 (10).
16. rd edition, June 2005.
17. W. Harrison, D. Lievens, and T. Walsh. Using recombinance to improve modularity. Technical Report 104 Software Structures Group, Trinity College Dublin, Dublin, Ireland, March 2007.
18. nd ACM SIGPLAN-S1GACT Symp. on Principles of Programming Lang. (POPL'05), pages 50-62. ACM Press, 2005.
19. B. N. J0rgensen. Integration of independently developed components through aliased multi-object type widening. Journal of Object Technology, 3(11):55-76, 2004.
20. K. Läufer, G. Baumgartner, and V. F. Russo. Safe structural conformance for Java. The Computer Journal, 43(6):469-481, 2001.
21. nd edition, 1999.
22. D. Malayeri and J. Aldrich. Integrating nominal and structural subtyping. In Proceedings of the 22nd European Conference on Object-Oriented Programming (ECOOP'08), pages 260-284, Paphos, Cyprus, July 7-11 2008.
23. E. R. Murphy-Hill, P. J. Quitslund, and A. P. Black. Removing duplication from java.io: a case study using traits. In OOPSLA '05: Companion to the 20th ACM SIGPLAN conference on Object-oriented programming languages, systems, and applications, pages 282-291, New York, NY, USA, 2005. ACM Press.
24. G. W. Neufeld and S. T. Vuong. An overview of ASN.l. Comp. Networks and ISDN Sys., 23(5):393-415, Feb. 1992.
25. M. Odersky. The Scala experiment: can we provide better language support for component systems? In Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'06), pages 166-167, Charleston, South Carolina, USA, January 11-13 2006.
26. th Euro. Conf. on OO Prog. (ECOOP'03), volume 2743 of LNCS, pages 248-274, Darmstadt, Germany, July 21-25 2003. Springer.
27. J. W. Schmidt. Some high level language constructs for data of type relation. ACMTrans. onDatabase Sys., 2(3):247-261, Sept. 1977.
28. th Ann. Conf. on OO Prog. Sys., Lang., & Appl. (OOPSLA'01), pages 96-107, Tampa Bay, Florida, Oct. 14-18 2001. ACM Press, ACM SIGPLAN Notices 36(11).