Expressive and modular predicate dispatch for Java

ACM Transactions on Programming Languages and Systems

Volumn 31, Issue 2, 2009, Pages

  Millstein, Todd ^a,b   Frost, Christopher ^a,b   Ryder, Jason ^a,b   Warth, Alessandro ^a,b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b Los Angeles   (United States)

Author keywords

Dynamic dispatch; Modular typechecking; Predicate dispatch

Indexed keywords

DECISION PROCEDURES; DYNAMIC DISPATCH; FEATHERWEIGHT JAVAS; LANGUAGE FEATURES; LOGICAL IMPLICATIONS; MODULAR TYPECHECKING; MULTIMETHOD DISPATCHES; OBJECT-ORIENTED; PREDICATE DISPATCH; PROGRAMMING IDIOMS; TYPE SYSTEMS; TYPE-CHECKING;

COMPUTER SOFTWARE; JAVA PROGRAMMING LANGUAGE; LINGUISTICS; PATTERN MATCHING; QUERY LANGUAGES;

OBJECT ORIENTED PROGRAMMING;

EID: 62149120912     PISSN: 01640925     EISSN: 15584593     Source Type: Journal    
DOI: 10.1145/1462166.1462168     Document Type: Article

References (63)

1. ABELSON, H., DYBVIG, R. K., HAYNES, C. T., ROZAS, G. J., IV, N. I. A., FRIEDMAN, D. P., KOHLBECKER, E., STEELE JR., G. L., BARTLEY, D. H., HALSTEAD, R., OXLEY, D., SUSSMAN, G. J., BROOKS, G., HANSON, C, PITMAN, K. M., AND WAND, M. 1998. Revised report on the algorithmic language Scheme. Higher-Order Symbolic Comput. 11, 1, 7-105.
2. AGRAWAL, R., DEMICHIEL, L. G., AND LINDSAY, B. G. 1991. Static type checking of multi-methods. In Proceedings of the (OOPSLÄ91) Conference on Object-Oriented Programming Systems, Lan- guages and Applications, 113-128.
3. ARNOLD, K., GOSLING, J., AND HOLMES, D. 2005. The Java Programming Language, 4th ed. Prentice Hall.
4. ASSAAD, M. G. AND LEAVENS, G. T. 2001. Alias-Free parameters in C for better reasoning and optimization. Tech. Rep. 01-11, Department of Computer Science, Iowa State University, Ames, Iowa. November.
5. th International Conference on Computer Aided Verification (CAVΌ4), R. Alur and D. A. Peled, Eds. Lecture Notes in Computer Science, vol. 3114. Springer, 515-518.
6. BAUMGARTNER, G., JANSCHE, M., AND LAUFER, K. revised March 2002. Half & Half: Multiple dispatch and retroactive abstraction for Java. Tech. rep. OSU-CISRC-5/01-TR08, Department of Computer and Information Science, The Ohio State University.
7. BENZAKEN, V., CASTAGNA, G., AND FRISCH, A. 2003. CDuce: An XML-centric general-purpose lan- guage. In Proceedings of the 8th ACM SIGPLAN International Conference on Functional Pro- gramming, ACM Press, 51-63.
8. BOBROW, D. G., KAHN, K., KICZALES, G., MASINTER, L., STEFIK, M., AND ZDYBEL, F. 1986. Common-Loops: Merging Lisp and object-oriented programming. In Proceedings of the Conference on Object-oriented Programming Systems, Languages and Applications. ACM Press, 17-29.
9. BOYLAND, J. AND CASTAGNA, G. 1997. Parasitic methods: Implementation of multi-methods for Java. In Proceedings of the OOPSLÄ97. ACM SIGPLAN Not. 32, 10, 66-76.
10. BRAY, T, PAOLI, J., SPERBERG-MCQUEEN, C. M., MALER, E., AND YERGEAU, F. 2006. extensible markup language (XML) 1.0 (4th Edition). World Wide Web Consortium recommendation, http://www. w3.org/TR/REC-xml.
11. CASTAGNA, G. 1995. Covariance and contravariance: Conflict without a cause. ACM Trans. Pro- gram. Lang. Syst. 17, 3, 431-447.
12. CASTAGNA, G. 1997. Object-Oriented Programming: A Unified. Foundation. Progress in Theoretical Computer Science. Birkhauser, Boston.
13. CASTAGNA, G., GHELLI, G., AND LONGO, G. 1995. A calculus for overloaded functions with subtyping. Inf. Comput. 117, 1, 115-135.
14. CHAMBERS, C. 1992. Object-Oriented multi-methods in Cecil. In Proceedings of the European Con- ference on Object-Oriented Programming (ECOOP'92), O. L. Madsen, Ed. LNCS 615. Springer-Verlag, 33-56.
15. CHAMBERS, C. 1993. Predicate classes. In Proceedings of the 7th European Conference on Object-Oriented Programming, 268-296.
16. CHAMBERS, C. 1997. The Cecil language specification and rationale: Version 2.1. www.es. Washington.edu/research/projects/cecil/pubs/ cecil-spec.html.
17. CHAMBERS, C. AND CHEN, W. 1999. Efficient multiple and predicate dispatching. In Proceedings of the 14th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications. ACM Press, 238-255.
18. CLIFTON, C. 2001. MultiJava: Design, implementation, and evaluation of a Java-compatible lan- guage supporting modular open classes and symmetric multiple dispatch. Tech. rep. 01-10, Department of Computer Science, Iowa State University, Ames, Iowa. November.
19. CLIFTON, C, LEAVENS, G. T, CHAMBERS, C, AND MILLSTEIN, T. 2000. MultiJava: Modular open classes and symmetric multiple dispatch for Java. In Proceedings of the Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLÄΌO). ACM SIGPLAN Notices, 35, 10, 130-145.
20. CLIFTON, C, MILLSTEIN, T., LEAVENS, G. T., AND CHAMBERS, C. 2006. Multίjava: Design rationale, compiler implementation, and applications. ACM Trans. Program. Lang. Syst. 28, 3, 517-575.
21. CVC3. 2009. The CVC3 home page, http://www.cs.nyu.edu/acsys/cvc3.
22. DETLEFS, D., NELSON, G., AND SAXE, J. B. 2005. Simplify: A theorem prover for program checking. J. ACM 52, 3, 365-473. Eclipse. 2007.
23. Eclipse home page. http: //www. eclipse. org.
24. EMIR, B., ODERSKY, M., AND WILLIAMS, J. 2007. Matching objects with patterns. In Proceedings of the European Conference on Object-Oriented, Programming (ECOOP), E. Ernst, Ed. Lecture Notes in Computer Science, vol. 4609. Springer, 273-298.
25. ERNST, M., KAPLAN, C, AND CHAMBERS, C. 1998. Predicate dispatching: A unified theory of dispatch. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP'98), E. Jul, Ed. Lecture Notes in Computer Science, vol. 1445. Springer, 186-211.
26. FLANAGAN, C, JOSHI, R., OU, X., AND SAXE, J. B. 2003. Theorem proving using lazy proof explication. In the International Conference on Computer Aided Verification (CAV).
27. FROST, C. AND MILLSTEIN, T. 2005. Featherweight JPred. Tech. rep. CSD-TR-050038, UCLA Com- puter Science Department. ftp: //ftp. cs .ucla. edu/tech-report/2005-reports/050038.pdf.
28. FROST C. AND MILLSTEIN T. 2006. Modularly typesafe interface dispatch in JPred. In the International Workshop on Foundations and Developments of Object-Oriented Lan- guages(FOOL I WOOD).
29. GABRIEL, R. P., WHITE, J. L., AND BOBROW, D. G. 1991. CLOS: Integrating object-oriented and functional programming. Commun. ACM 34, 9, 28-38.
30. GAMMA, E., HELM, R., JOHNSON, R. E., AND VLISSIDES, J. 1995. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, MA.
31. GAPEYEV, V. AND PIERCE, B. C. 2003. Regular object types. In Proceedings of the European Confer- ence on Object-Oriented Programming. Lecture Notes in Computer Science, vol. 2743. Springer.
32. GAY, D., LEVIS, P., VON BEHREN, R., WELSH, M., BREWER, E., AND CULLER, D. 2003. The NesC language: A holistic approach to networked embedded systems. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM Press, 1-11.
33. GOSLING, J, JOY, B., STEELE, G., AND BRACHA, G. 2005. The Java Language Specification 3rd Ed. Prentice Hall.
34. GRIMM, R. 2002. System support for pervasive applications. Ph.D. thesis, Department of Com- puter Science and Engineering, University of Washington.
35. GRIMM, R., DAVIS, J, LEMAR, E., MACBETH, A., SWANSON, S., ANDERSON, T, BERSHAD, B., BORRIELLO, G., GRIBBLE, S., AND WETHERALL, D. 2004. System support for pervasive applications. ACM Trans. Comput. Syst. 22, 4, 421-486.
36. HILL, J, SZEWCZYK, R., WOO, A., HOLLAR, S., CULLER, D. E., AND PISTER, K. S. J. 2000. System architecture directions for networked sensors. In Proceedings of the Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOSΌO). 93-104.
37. HOSKING, J. G., HAMER, J., AND MUGRIDGE, W. 1990. Integrating functional and object-oriented programming. In Proceedings of the International Conference on Technology of Obeject-Orίented Languages and Systems TOOLS Pacific, 345-355.
38. IGARASHI, A., PIERCE, B. C, AND WADLER, P. 2001. Featherweight Java: a minimal core calculus for Java and GJ. ACM Trans. Program, Lang. Syst. 23, 3, 396-450.
39. INGALLS, D. H. H. 1986. A simple technique for handling multiple polymorphism. In Proceedings of the Conference on Object-Oriented Programming Systems, Languages and Applications. ACM Press, 347-349.
40. KICZALES, G., LAMPING, J, MENHDHEKAR, A., MAEDA, G, LOPES, C, LOINGTIER, J.-M., AND IRWIN, J. 1997. Aspect-Oriented programming. In Proceedings of the llth European Conference on Object-Oriented (ECOOP'97), M. Aksit and S. Matsuoka, Eds. Lecture Notes on Computer Science, vol. 1241. Springer, 220-242.
41. LEAVENS, G. T. AND ANTROPOVA, O. 1999. ACL - Eliminating parameter aliasing with dynamic dispatch. Tech. rep. 98-08a, Department of Computer Science, Iowa State University, Ames, Iowa. February.
42. LEE, K., LAMARCA, A., AND CHAMBERS, C. 2003. HydroJ: Object-Oriented pattern matching for evolvable distributed systems. In Proceedings of the ACM Conference on Object-Oriented Pro- gramming Systems, Languages, and Applications.
43. Liu, J. AND MYERS, A. C. 2003. JMatch: Iterable abstract pattern matching for Java. In Proceedings of the International Symposium on Practical Aspects of Declarative Languages (PADL), V. Dahl and P. Wadler, Eds. Lecture Notes in Computer Science, vol. 2562. Springer, 110-127.
44. MILLSTEIN, T. 2003. Reconciling software extensibility with modular program reasoning. Ph.D. thesis, Department of Computer Science and Engineering, University of Washington.
45. MILLSTEIN, T. 2004. Practical predicate dispatch. In Proceedings of the Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA04).
46. MILLSTEIN, T., BLECKNER, C, AND CHAMBERS, C. 2002. Modular typechecking for hierarchically ex- tensible datatypes and functions. In Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP'02). ACM SIGPLAN Not. 37, 9, 110-122.
47. MILLSTEIN, T., BLECKNER, C, AND CHAMBERS, C. 2004. Modular typechecking for hierarchically extensible datatypes and functions. ACM Trans. Program. Lang. Syst. 26, 5, 836-889.
48. MILLSTEIN, T. AND CHAMBERS, C. 2002. Modular statically typed multimethods. Inf. Comput. 175, 1, 76-118.
49. MILNER, R., TOPTE, M., HARPER, R., AND MACQUEEN, D. 1997. The Definition of Standard ML (Re- vised). The MIT Press.
50. MOON, D. A. 1986. Object-Oriented programming with Flavors. In Proceedings of the Conference on Object-Oriented Programming Systems, Languages and Applications. ACM Press, 1-8.
51. NELSON, G. AND OPPEN, D. C. 1979. Simplification by cooperating decision procedures. ACM Trans. Program.. Lang. Syst. 1, 2, 245-257.
52. NYSTROM, N., CLARKSON, M. R., AND MYERS, A. C. 2003. Polyglot: An extensible compiler framework for Java. In Proceedings of the 12th International Conference on Compiler Construction (CC). Springer.
53. oneworld. 2008. one.world home page, http: //cs. nyu. edu/rgrimm/one. world.
54. ORLEANS, D. 2002. Incremental programming with extensible decisions. In Proceedings of the 1st International Conference on Aspect-Oriented Software Development. ACM Press, 56-64.
55. PAI, V. S., DRUSCHEL, P., AND ZWAENEPOEL, W. 1999. Flash: An efficient and portable Web server. In Proceedings of the USENIX Annual Technical Conference (USENIX-99). USENIX Association, 199-212.
56. Polyglot for Java 5. Polyglot for Java 5 homepage. http ://www. cs.ucla.edu/-milanst/projects/ polyglot5.RÉMY, D. AND VOUILLON, J. 1998. Objective ML: An effective object-oriented extension of ML. Theory Practice Object Syst. 4, 1, 27-52.
57. RICHARD, A. AND LHOTAK, O. 2008. OOMatch: Pattern matching as dispatch in Java. In Interna- tional Workshop on Foundations of Object-Oriented Languages.
58. SALCLANU, A. AND RINARD, M. 2005. Purity and side effect analysis for Java programs. In Proceed- ings of the 6th International Conference on Verification, Model Checking and Abstract Interpre- tation.
59. STEELE JR., G. L. 1990. Common Lisp; The Language, 2nd Ed. Digital Press, Bedford, MA.
60. STROUSTRUP, B. 1997. The C++ Programming Language: Third Edition. Addison-Wesley, Reading, MA.
61. UCKO, A. M. 2001. Predicate dispatching in the common lisp object system. Tech. rep. 2001-006, MIT Artificial Intelligence Laboratory.
62. WELSH, M., CULLER, D., AND BREWER, E. 2001. SEDA: An Architecture for well-conditioned, scalable internet services. In Proceedings of the 18th ACM Symposium on Operating Systems Principles, G. Ganger, Ed. 230-243.
63. WRIGHT, A. K. AND FELLEISEN, M. 1994. A syntactic approach to type soundness. Inf. Comput. 115,1, 38-94.