MultiJava: Design rationale, compiler implementation, and applications

ACM Transactions on Programming Languages and Systems

Volumn 28, Issue 3, 2006, Pages 517-575

  Clifton, Curtis ^a   Millstein, Todd ^b,e   Leavens, Gary T ^c,f   Chambers, Craig ^d  

^a ROSE HULMAN INSTITUTE OF TECHNOLOGY   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

^c IOWA STATE UNIVERSITY   (United States)

^d UNIVERSITY OF WASHINGTON   (United States)

^e University of California   (United States)

^f Iowa State University   (United States)

Author keywords

Encapsulation; Extensible classes; Extensible external methods; External methods; Generic functions; Method families; Modularity; Multimethods; Multiple dispatch; Object oriented programming languages; Open classes; Open objects; Single dispatch

Indexed keywords

EXTENSIBLE CLASSES; EXTENSIBLE EXTERNAL METHODS; EXTERNAL METHODS; GENERIC FUNCTIONS; METHOD FAMILIES; MULTIMETHODS; MULTIPLE DISPATCH; OPEN CLASSES; OPEN OBJECTS; SINGLE DISPATCH;

BINARY CODES; GRAPHICAL USER INTERFACES; MODULA (PROGRAMMING LANGUAGE); OBJECT ORIENTED PROGRAMMING; PROBLEM SOLVING; PROGRAM COMPILERS;

JAVA PROGRAMMING LANGUAGE;

EID: 33745444346     PISSN: 01640925     EISSN: 01640925     Source Type: Journal    
DOI: 10.1145/1133651.1133655     Document Type: Article

References (85)

1. AGRAWAL, R., DEMICHIEL, L. G., AND LINDSAY, B. G. 1991. Static type checking of multi-methods. In OOPSLA '91: Conference Proceedings on Object-Oriented Programming Systems, Languages, and Applications, A. Paepcke, Ed. ACM SIGPLAN Not. 26, 11, 113-128.
2. ANCONA, D., LAGORIO, G., AND ZUCCA, E. 2002. A formal framework for Java separate compilation. In ECOOP 2002-Object-Oriented Programming, 16th European Conference, Malaga, Spain, Proceedings, B. Magnusson, Ed. Lecture Notes in Computer Science, vol. 2374. Springer-Verlag, Berlin, Germany, 609-635.
3. ARNOLD, K., GOSLING, J., AND HOLMES, D. 2000. The Java Programming Language, 3rd ed. AddisonWesley, Reading, MA.
4. ARNSTEIN, L., HUNG, C.-Y., FRANZA, R., ZHOU, Q. H., BORRIELLO, G., CONSOLVO, S., AND SU, J. 2002. Labscape: A smart environment for the cell biology laboratory. IEEE Pervas. Comput. 1, 3 (July), 13-21.
5. ASPECTJ TEAM. 2004. The AspectJ programming guide. Available online from http: //eclipse. org/aspectj.
6. BAUMGARTNER, G., JANSCHE, M., AND LÄUPER, K. 2002. Half & Half: Multiple dispatch and retroactive abstraction for Java. Tech. rep. OSU-CISRC-5/01-TR08. Department of Computer Science, The Ohio State University. Columbus, OH.
7. BONNIOT, D. 2003. Using kinds to type partially-polymorphic methods. In Electronic Notes in Theoretical Computer Science, G. Barthe and P. Thiemann, Eds. Vol. 75. Elsevier, New York, NY.
8. BONNIOT, D. AND KELLER, B. 2003. The Nice user's manual. Available online at http://nice. sourceforge.net.
9. BOUHDONCLE, F. AND MERZ, S. 1997. Type-checking higher-order polymorphic multi-methods. In POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM Press, New York, NY, 302-315.
10. BOYLAND, J. AND CASTAGNA, G. 1997. Parasitic methods: Implementation of multi-methods for Java. In OOPSLA '97: Proceedings of the 12th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, A. M. Berman, Ed. ACM SIGPLAN Not, 32, 10, 66-76.
11. BRACHA, G. AND COOK, W. 1990. Mixin-based inheritance. In OOPSLA /ECOOP '90: Proceedings of the European Conference on Object-Oriented Programming on Object-Oriented Programming Systems, Languages, and Applications, N. Meyrowitz, Ed. ACM SIGPLAN Not. 25, 10, 303-311.
12. BRIDGES, S., FIGUEROA, M., HSU, D., AND DIORIO, C. 2003. Field-programmable learning arrays. In Advances in Neural Information Processing Systems 15. MIT Press, Cambridge, MA.
13. BRUCE, K., CARDELLI, L., CASTAGNA, G., GROUP, T. H. O., LEAVENS, G. T., AND PIERCE, B. 1995. On binary methods. Theor. Pract. Obj. Syst. 1, 3, 221-242.
14. CARDELLI, L. 1988. A semantics of multiple inheritance. Inform. Computat. 76, 2/3 (Feb./Mar.), 138-164.
15. CASTAGNA, G. 1995. Covariance and contravariance: conflict without a cause. ACM Trans. Programm. Lang. Syst. 17, 3, 431-447.
16. CASTAGNA, G. 1997. Object-Oriented Programming: A Unified Foundation. Progress in Theoretical Computer Science. Birkhauser, Boston, MA.
17. CASTAGNA, G., GHELLI, G., AND LONGO, G. 1995. A calculus for overloaded functions with subtyping. Inform. Computat. 117, 1 (Feb.), 115-135.
18. CHAMBERS, C. 1992. Object-oriented multi-methods in Cecil. In ECOOP '92, European Conference on Object-Oriented Programming, Utrecht, The Netherlands, O. L. Madsen, Ed. Lecture Notes in Computer Science, vol. 615. Springer-Verlag, New York, NY, 38-56.
19. CHAMBERS, C. 1997. The Cecil language specification and rationale: Version 2.1. Available online from http://www.cs.washington.edu/research/ projects/cecil/www/pubs/cecil-spec.html.
20. CHAMBERS, C. 1998. Towards Diesel, a next-generation 00 language after Cecil. Invited talk. In Proceedings of the Fifth Workshop of Foundations of Object-Oriented Languages (San Diego, CA).
21. CHAMBERS, C. AND CHEN, W. 1999. Efficient multiple and predicate dispatching. In OOPSLA '99: Proceedings of the 14th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, A. M. Berman, Ed. ACM SIGPLAN Not. 34, 10, 238-255.
22. CHAMBERS, C. AND LEAVENS, G. T. 1995. Typechecking and modules for multi-methods. ACM Trans. Programm. Lang. Syst. 17, 6, 805-843.
23. CLIFTON, C. 2001. Multi Java: Design, implementation, and evaluation of a Java-compatible language supporting modular open classes and symmetric multiple dispatch. Tech. Rep. 01-10. Department of Computer Science, Iowa State University, Ames, IA. The author's masters thesis.
24. CLIFTON, C., LEAVENS, G. T., CHAMBERS, C., AND MILLSTEIN, T. 2000. MultiJava: Modular open classes and symmetric multiple dispatch for Java. In OOPSLA '00: Proceedings of the 15th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications. ACM SIGPLAN Not. 35, 10, 130-145.
25. COOK, W. R. 1991. Object-oriented programming versus abstract data types. In Foundations of Object-Oriented Languages, REX School/Workshop, Noordwijkerhout, The Netherlands, May/June 1990, J. W. de Bakker, W. P. de Roever, and G. Rozenberg, Eds. Lecture Notes in Computer Science, vol. 489. Springer-Verlag, New York, NY, 151-178.
26. DROSSOPOULOU, S., EISENBACH, S., AND WRAGG, D. 1999. A fragment calculus-Towards a model of separate compilation, linking and binary compatibility. In Logic in Computer Science. IEEE Computer Science Press, Los Alamitos, CA, 147-156.
27. DUGGAN, D. AND SOURELIS, C. 1996. Mixin modules. In ICFP '96: Proceedings of the First ACM SIGPLAN International Conference on Functional Programming, R. L. Wexelblat, Ed. ACM SIGPLAN Not. 31, 6, 262-273.
28. DUTCHYN, C., SZAFRON, D., BHOMLING, S., AND HOLST, W. 2001. Multi-dispatch in the Java virtual machine: Design and implementation. In Sixth Conference on Object-Oriented Technologies and Systems (COOTS). USENIX, Berkeley, CA.
29. ERNST, M. D., KAPLAN, C., AND CHAMBERS, C. 1998. Predicate dispatching: A unified theory of dispatch. In ECOOP '98-Object-Oriented Programming, 12th European Conference, Brussels, Belgium, Proceedings, E. Jul, Ed. Lecture Notes in Computer Science, vol. 1445. Springer-Verlag, New York, NY, 186-211.
30. FÄHNDRICH, M. AND LEINO, K. R. M. 2003. Declaring and checking non-null types in an objectoriented langauge. In OOPSLA '03: Proceedings of the 18th ACM SIGPLAN Conference on ObjectOriented Programming, Systems, Languages, and Applications. ACM SIGPLAN Not. 38,11, 302-312.
31. FEINBERG, N., KEENE, S. E., MATHEWS, R. O., AND WITHINGTON., P. T. 1997. The Dylan Programming Book. Addison-Wesley Longman, Reading, MA.
32. FINDLER, R. B. AND PLATT, M. 1999. Modular object-oriented programming with units and mixins. In ICFP '99: Proceedings of the Fourth ACM SIGPLAN International Conference on Functional Programming. ACM SIGPLAN Not. 34, 1, 94-104.
33. FLATT, M. AND FELLEISEN, M. 1998. Units: Cool modules for hot languages. InPLDI'98: Proceedings of the ACM SIGPLAN 1998 Conference on Programming Language Design and Implementation, A. M. Berman, Ed. ACM SIGPLAN Not. 33, 5, 236-248.
34. FLATT, M., KRISHNAMURTHI, S., AND FELLEISEN, M. 1998. Classes and mixins. In POPL '98: Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM Press, New York, NY, 171-183.
35. FORAX, R., DURIS, E., AND ROUSSEL, G. 2000. Java multi-method framework. In Proceedings of the International Conference on Technology of Object-Oriented Languages and Systems (TOOLS '00), Sydney, Australia. IEEE Computer Society Press, Los Alamitos, CA.
36. GAGNON, E. AND HENDREN, L. J. 1998. SableCC, an object-oriented compiler framework. In Proceedings of the International Conference on Technology of Object-Oriented Languages and Systems (TOOLS '98), Santa Barbara, California. IEEE Computer Society Press, Los Alamitos, CA.
37. GAMMA, E., HELM, R., JOHNSON, R., AND VLISSIDES, J. 1995. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading, MA.
38. GARRIGUE, J. 2000. Code reuse through polymorphic variants. In Proceedings of the Workshop on Foundations of Software Engineering, Sassaguri, Japan. Available online from http: //wwwf un. kurims.kyoto-u.ac.jp/~garrigue/ papers/fose2000.html.
39. GOLDBERG, A. 1984. Smalltalk-80: The Interactive Programming Environment, Addison-Wesley, Reading, MA.
40. GOSLING, J., JOY, B., STEELE, G., AND BRACHA, G. 2000. The Java Language Specification, 2nd ed. The Java Series. Addison-Wesley, Boston, MA.
41. GRIMM, R., DAWS, J., LEMAR, E., MACBETH, A., SWANSON, S., GRIBBLE, S., ANDERSON, T., BERSHAD, B., BORRIELLO, G., AND WETHERALL, D. 2001. Programming for pervasive computing environments. Tech. Rep. UW-CSE-01-06-01. Department of Computer Science and Engineering, University of Washington, Seattle, WA.
42. GROTHOFF, C. 2003. Walkabout revisited: The Runabout. In ECOOP 2003-Object-Oriented Programming, 17th European Conference, Darmstadt, Germany, Proceedings, L. Cardelli, Ed. Lecture Notes in Computer Science, vol. 2743. Springer-Verlag, New York, NY, 103-125.
43. HARRISON, W. AND OSSHER, H. 1993. Subject-oriented programming (a critique of pure objects). In OOPSLA '93: Proceedings of the Eighth Annual Conference on Object-Oriented Programming, Systems, Languages, and Applications, A. Paepcke, Ed. ACM SIGPLAN Not. 28, 10, 411-428.
44. HIGHTOWER, J., BRUMITT, B., AND BORHIELLO, G. 2002. The location stack: A layered model for location in ubiquitous computing. In Proceedings of the 4th IEEE Workshop on Mobile Computing Systems & Applications (WMCSA 2002). IEEE Computer Society Press, Los Alamitos, CA, 22-28.
45. INGALLS, D. H. H. 1986. A simple technique for handling multiple polymorphism. In OOPLSA '86: Conference Proceedings on Object-Oriented Programming Systems, Languages and Applications, N. Meyrowitz, Ed. ACM SIGPLAN Not. 21,11, 347-349.
46. KELLER, R. AND HÖLZLE, U. 1998. Binary component adapatation. In ECOOP '98-Object-Oriented Programming, 12th European Conference, Brussels, Belgium, Proceedings, E. Jul, Ed. Lecture Notes in Computer Science, vol. 1445. Springer-Verlag, New York, NY, 307-329.
47. KICZALES, G., HILSDALE, E., HUGUNIN, J., KERSTEN, M., PALM, J., AND GHISWOLD, W. G. 2001. An overview of AspectJ. In ECOOP 2001-Object-Oriented Programming 15th European Conference, Budapest Hungary, J. L. Knudsen, Ed. Lecture Notes in Computer Science, vol. 2072. Springer-Verlag, Berlin, Germany, 327-353.
48. KICZALES, G., LAMPING, J., MENHDHEKAR, A., MAEDA, C., LOPES, C., LOINGTIER, J.-M., AND IRWIN, J. 1997. Aspect-oriented programming. In ECOOP '97-Object-Oriented Programming 11th European Conference, Jyväskylä, Finland, Proceedings, M. Aksit and S. Matsuoka, Eds. Lecture Notes in Computer Science, vol. 1241. Springer-Verlag, New York, NY, 220-242.
49. Kopi 2004. Kopi project home page. Go online to http://www.dms.at/kopi.
50. KRISHNAMURTHI, S., FELLEISEN, M., AND FRIEDMAN, D. P. 1998. Synthesizing object-oriented and functional design to promote re-use. In ECOOP '98-Object-Oriented Programming, 12th European Conference, Brussels, Belgium, Proceedings, E. Jul, Ed. Lecture Notes in Computer Science, vol. 1445. Springer-Verlag, New York, NY, 91-113.
51. LEAVENS, G. T. AND MILLSTEIN, T. D. 1998. Multiple dispatch as dispatch on tuples. In OOPSLA '98: Proceedings of the 13th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, A. M. Berman, Ed. ACM SIGPLAN Not. 33, 10, 374-387.
52. LEE, K., LAMARCA, A., AND CHAMBERS, C. 2003. HydroJ: Object-Oriented pattern matching for evolvable distributed systems. In OOPSLA '03: Proceedings of the 18th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, ACM SIGPLAN Not. 38, 11, 205-223.
53. LIANG, S. AND BHACHA, G. 1998. Dynamic class loading in the Java virtual machine. In OOPSLA '98: Proceedings of the 13th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications. ACM SIGPLAN Not. 33, 10, 36-44.
54. LINDHOLM, T. AND YELLIN, F. 2000. The Java Virtual Machine Specification, 2nd ed. AddisonWesley, Reading, MA.
55. LITVlNOV, V. 1998. Constraint-based polymorphism in Cecil: Towards a practical and static type system. In OOPSLA '98: Proceedings of the 13th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications. ACM SIGPLAN Not. 38,10, 388-411. The proceedings mistakenly contain a preliminary version of the article. The final version can be found online at ftp://ftp.cs.washington.edu/pub/chambers/sbp-oopsla.ps.gz.
56. MARTIN, P. 1998. Java, the good, the bad and the ugly. ACM SIGPLAN Not. 33, 4 (Apr.), 34-39.
57. MCDIRMID, S., FLATT, M., AND HSIEH, W. 2001. Jiazzi: New-age components for old-fashioned Java. In OOPSLA '01: Proceedings of the 16th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications. ACM SIGPLAN Not. 36, 11, 211-222.
58. MILLSTEIN, T. 2003. Reconciling software extensibility with modular program reasoning. Ph.D. dissertation. Department of Computer Science & Engineering, University of Washington, Seattle, WA.
59. MILLSTEIN, T. 2004. Practical predicate dispatch. In OOPSLA '04: Proceedings of the 19th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications. ACM SIGPLAN Not. 39, 11, 345-364.
60. MILLSTEIN, T, BLECKNER, C., AND CHAMBERS, C. 2002. Modular typechecking for hierarchically extensible datatypes and functions. In ICFP '02: Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming. ACM SIGPLAN Not. 37, 9,110-122.
61. MILLSTEIN, T. AND CHAMBERS, C. 2002. Modular statically typed multimethods. Inform. Computat. 175, 1 (May), 76-118.
62. MILLSTEIN, T., REAY, M., AND CHAMBERS, C. 2003. Relaxed MultiJava: Balancing extensibility and modular typechecking. In OOPSLA '03: Proceedings of the 18th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications. ACM SIGPLAN Not. 38, 11, 224-240.
63. MUOHIDOE, W. B., HOSKINO, J. G., AND HAMER, J. 1991. Multi-methods in a statically-typed programming language. In ECOOP '91 European Conference on Object-Oriented Programming, Geneva, Switzerland, Proceedings, P. America, Ed. Lecture Notes in Computer Science, vol. 512. SpringerVerlag, New York, NY, 307-324.
64. NORDBERG, M. E. 1998. Default and extrinsic visitor. In Pattern Languages of Program Design 3, R. C. Martin, D. Riehle, and F. Buschmann, Eds. Addison-Wesley, Reading, MA, 105-123.
65. NYSTROM, N., CLARKSON, M. R., AND MYERS, A. C. 2003. Polyglot: An extensible compiler framework for Java. In Compiler Construction: 12'th International Conference, CC2003. Vol. 2622. Springer-Verlag, New York, NY, 138-152.
66. ODEHSKY, M., CREMET, V., RÖCKL, C., AND ZENGER, M. 2003. A nominal theory of objects with dependent types. In ECOOP 2003-Object-Oriented Programming, 17th European Conference, Darmstadt, Germany, Proceedings, L. Cardelli, Ed. Lecture Notes in Computer Science, vol. 2743. Springer-Verlag, New York, NY, 201-224.
67. ODEHSKY, M. AND WADLER, P. 1997. Pizza into Java: Translating theory into practice. In POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium, on Principles of Programming Languages. ACM Press, New York, NY, 146-159.
68. OSSHER, H. AND TARR, P. 2001. Using multidimensional separation of concerns to (re)shape evolving software. Commun. ACM 44, 10 (Oct.), 43-50.
69. PAEPCKE, A. 1993. Object-Oriented Programming: The CLOS Perspective. The MIT Press, Cambridge, MA.
70. PALSBEHG, J. AND JAY, C. B. 1998. The essence of the visitor pattern. In Proceedings of the 22nd IEEE International Computer Software and Applications Conference (COMPSAC, Vienna Austria). IEEE Computer Science Press, Los Alamitos, CA, 9-15.
71. PARNAS, D. L. 1972. On the criteria to be used in decomposing systems into modules. Commun. ACM IB, 12 (Dec.), 1053-1058.
72. PARNAS, D. L. 1975. Software engineering or methods for the multi-person construction of multi-version programs. In Programming Methodology, 4th Informatik Symposium, IBM Germany, Wildbad, 25-27 September, 1974, C. E. Hackl, Ed. Lecture Notes in Computer Science, vol. 23. Springer-Verlag, New York, NY, 225-235.
73. PHILIPOSE, M., FISHKIN, K. P., PERKOWITZ, M., PATTERSON, D. J., Fox, D., KAUTZ, H., AND HAHNEL, D. 2004. Inferring Activities from Interactions with Objects. Pervas. Comput. Mag. 3, 4, 10-17.
74. Rain 2004. Rain home page. Go online to http://seattleweb.intel\_research. net/projects/ rain.
75. REYNOLDS, J. C. 1975. User-defined types and procedural data structures as complementary approaches to type abstraction. In New Directions in Algorithmic Languages, S. A. Schuman, Ed. INRIA, Rocquencourt, France, 157-168.
76. REYNOLDS, J. C. 1980. Using category theory to design implicit conversions and generic operators. In Semantics-Directed Compiler Generation, Proceedings of a Workshop, Aarhus, Denmark, N. D. Jones, Ed. Lecture Notes in Computer Science, vol. 94. Springer-Verlag, New York, NY, 211-258.
77. SHALIT, A. 1997. The Dylan Reference Manual: The Definitive Guide to the New Object-Oriented Dynamic Language. Addison-Wesley, Reading, MA.
78. STEELE, JR., G. L. 1990. Common LISP: The Language, 2nd ed. Digital Press, Bedford, MA.
79. STROUSTRUP, B. 1997. The C++ Programming Language: 3rd ed. Addison-Wesley, Reading, MA.
80. TARR, P. L., OSSHER, H., HARRISON, W. H., AND SUTTON JR., S. M. 1999. N degrees of separation: Multi-dimensional separation of concerns. In ICSE '99: Proceedings of the 21st International Conference on Software Engineering. ACM Press, New York, NY, 107-119.
81. TORGERSEN, M. 2004. The expression problem revisited: Four new solutions using generics. In ECOOP 2004-Object-Oriented Programming, 18th European Conference, Oslo, Norway, Proceedings, M. Odersky, Ed. Lecture Notes in Computer Science, vol. 3086. Springer-Verlag, New York, NY, 123-143.
82. TROELSEN, A. 2003. C# and the .NET platform, 2nd ed. Apress, Berkeley, CA.
83. VLISSIDES, J. 1999. Visitor in frameworks. C++ Rep. 11, 10 (Nov./Dec.), 40-46.
84. ZENGER, M. AND ODERSKY, M. 2001. Extensible algebraic datatypes with defaults. In ICFP '01: Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming. ACM SIGPLAN Not. 36,10, 241-252.
85. ZENGER, M. AND ODERSKY, M. 2005. Independently extensible solutions to the expression problem. In Proceedings of the 12th International Workshop on Foundations of Object-Oriented Languages (FOOL 12, Long Beach, CA). ACM Press, New York, NY.