Efficient multiple and predicate dispatching

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 34, Issue 10, 1999, Pages 238-255

  Chambers, Craig ^a   Chen, Weimin ^a  

^a University of Washington   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 17144402252     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/320385.320407     Document Type: Article

References (54)

1. Ole Agesen. The Cartesian Product Algorithm: Simple and Precise Type Inference of Parametric Polymorphism. In Proceedings ECOOP '95, Aarhus, Denmark, August 1995. Springer-Verlag.
2. Eric Amiel, Olivier Gruber, and Eric Simon. Optimizing Multi-Method Dispatch Using Compressed Dispatch Tables. In Proceedings OOPSLA '94, pages 244-258, Portland, OR, October 1994.
3. D. G. Bobrow, L. G. DeMichiel, R. P. Gabriel, S. E. Keene, G. Kiczales, and D. A. Moon. Common Lisp Object System Specification X3J13. SIGPLAN Notices, 28(Special Issue), September 1988.
4. Craig Chambers and David Ungar. Iterative Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs. In Proceedings of the ACM SIGPLAN '90 Conference on Programming Language Design and Implementation, pages 150-164, June 1990.
5. Craig Chambers. Object-Oriented Multi-Methods in Cecil. In O. Lehrmann Madsen, editor, Proceedings ECOOP '92, LNCS 615, pages 33-56, Utrecht, The Netherlands, June 1992. Springer-Verlag.
6. Craig Chambers. The Cecil Language: Specification and Rationale. Technical Report UW-CSE-93-03-05, Department of Computer Science and Engineering. University of Washington, March 1993. Revised, March 1997.
7. Craig Chambers. Predicate Classes. In O. Nierstrasz, editor, Proceedings ECOOP '93, LNCS 707, pages 268-296, Kaiserslautern, Germany, July 1993. Springer-Verlag.
8. Craig Chambers, Jeffrey Dean, and David Grove. Whole-Program Optimization of Object-Oriented Languages. Technical Report UW-CSE-96-06-02, Department of Computer Science and Engineering. University of Washington, June 1996.
9. Weimin Chen, Volker Turau, and Wolfgang Klas. Efficient Dynamic Look-up Strategy for Multi-Methods. In M. Tokoro and R. Pareschi, editors, Proceedings ECOOP '94, LNCS 821, pages 408-431, Bologna, Italy, July 1994. Springer-Verlag.
10. Jeffrey Dean, David Grove, and Craig Chambers. Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis. In Proceedings ECOOP '95, Aarhus, Denmark, August 1995. Springer-Verlag.
11. Jeffrey Dean, Greg DeFouw, Dave Grove, Vassily Litvinov, and Craig Chambers. Vortex: An Optimizing Compiler for Object-Oriented Languages. In OOPSLA'96 Conference Proceedings, San Jose, CA, October 1996.
12. Greg DeFouw, David Grove, and Craig Chambers. Fast Interprocedural Class Analysis. In Conference Record of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 222-236, January 1998.
13. Karel Driesen and Urs Hölzle. Minimizing Row Displacement Dispatch Tables. In OOPSLA'95 Conference Proceedings, pages 141-155, Austin, TX, October 1995.
14. Karel Driesen. Selector Table Indexing & Sparse Arrays. In Proceedings OOPSLA '93, pages 259-270, October 1993. Published as ACM SIGPLAN Notices, volume 28, number 10.
15. Karel Driesen. Selector Table Indexing & Sparse Arrays. In Proceedings OOPSLA '93, pages 259-270, October 1993. Published as ACM SIGPLAN Notices, volume 28, number 10.
16. Karel Driesen, Urs Hölzle, and Jan Vitek. Message Dispatch on Pipelined Processors. In Proceedings ECOOP '95, Aarhus, Denmark, August 1995. Springer-Verlag.
17. Eric Dujardin. Efficient Dispatch of Multimehtods in Constant Time with Dispatch Trees. Technical Report 2892, INRIA, Rocquencourt, France, 1996.
18. Eric Dujardin, Eric Amiel, and Eric Simon. Fast algorithms for compressed multimethod dispatch table generation. ACM Transactions on Programming Languages and Systems, 20(1):116-165, January 1998.
19. Patrick H. Dussud. TICLOS: An Implementation of CLOS for the Explorer Family. In Proceedings OOPSLA '89, pages 215-220, October 1989. Published as ACM SIGPLAN Notices, volume 24, number 10.
20. Patrick H. Dussud. TICLOS: An Implementation of CLOS for the Explorer Family. In Proceedings OOPSLA '89, pages 215-220, October 1989. Published as ACM SIGPLAN Notices, volume 24, number 10.
21. Michael D. Ernst, Craig S. Kaplan, and Craig Chambers. Predicate Dispatching: A Unified Theory of Dispatch. In Proceedings ECOOP '98, Brussels, Belgium, July 1998. Springer-Verlag.
22. Mary F. Fernandez. Simple and Effective Link-Time Optimization of Modula-3 Programs. In Proceedings of the ACM SIGPLAN '95 Conference on Programming Language Design and Implementation, pages 103-115, June 1995.
23. Adele Goldberg and David Robson. Smalltalk-80: The Language and its Implementation. Addision-Wesley, Reading, MA, 1983.
24. James Gosling, Bill Joy, and Guy Steele. The Java Language Specification. Addison-Wesley, Reading, MA, 1996.
25. David Grove, Jeffrey Dean, Charles Garrett, and Craig Chambers. Profile-Guided Receiver Class Prediction. In OOPSLA'95 Conference Proceedings, pages 108-123, Austin, TX, October 1995.
26. David Grove, Greg DeFouw, Jeffrey Dean, and Craig Chambers. Call Graph Construction in Object Oriented Languages. In OOPSLA'97 Conference Proceedings, Atlanta, GA, October 1997.
27. J. Hamer, J.G. Hosking, and W.B. Mugridge. A Method for Integrating Classification Within an Object-Oriented Environment. Technical Report Auckland Computer Science Report No. 48, Department of Computer Science, University of Auckland, October 1990.
28. Urs Hölzle, Craig Chambers, and David Ungar. Optimizing Dynamically-Typed Object-Oriented Languages With Polymorphic Inline Caches. In P. America, editor, Proceedings ECOOP '91, LNCS 512, pages 21-38, Geneva, Switzerland, July 15-19 1991. Springer-Verlag.
29. T. C. Hu and A. C. Tucker. "Optimal Computer Search Trees and Variable-Length Alphabetical Codes. SIAM Journal on Applied Mathematics, 21(4):514-532, 1971.
30. Paul Hudak, Simon Peyton Jones, Philip Wadler, Brian Boutel, Jon Fairbairn, Joseph Fasel, Maria Guzman, Kevin Hammond, John Hughes, Thomas Johnsson, Dick Kieburtz, Rishiyur Nikhil, Will Partain, and John Peterson. Report on the Programming Language Haskell, Version 1.2. SIGPLAN Notices, 27(5), May 1992.
31. Laurent Hyafil and Ronald L. Rivest. Constructing optimal binary decision trees is NP-complete. Information Processing Letters, 5(1):15-17, May 1976.
32. Ralph E. Johnson. Type-Checking Smalltalk. In Proceedings OOPSLA '86, pages 315-321, November 1986. Published as ACM SIGPLAN Notices, volume 21, number 11.
33. Ralph E. Johnson. Type-Checking Smalltalk. In Proceedings OOPSLA '86, pages 315-321, November 1986. Published as ACM SIGPLAN Notices, volume 21, number 11.
34. Ralph E. Johnson, Justin O. Graver, and Lawrence W. Zurawski. TS: An Optimizing Compiler for Smalltalk. In Proceedings OOPSLA '88, pages 18-26, November 1988. Published as ACM SIGPLAN Notices, volume 23, number 11.
35. Ralph E. Johnson, Justin O. Graver, and Lawrence W. Zurawski. TS: An Optimizing Compiler for Smalltalk. In Proceedings OOPSLA '88, pages 18-26, November 1988. Published as ACM SIGPLAN Notices, volume 23, number 11.
36. Ted Kaehler and Glenn Krasner. LOOM - Large Object-Oriented Memory for Smalltalk-80 Systems. In G. Krasner, editor, Smalltalk-80 - Bits of History, Words of Advice, chapter 14, pages 251-270. Addison-Wesley, 1983.
37. Gregor Kiczales and Luis Rodriguez. Efficient Method Dispatch in PCL. In 1990 ACM Conference on Lisp and Functional Programming, pages 99-105. ACM, ACM Press, June 1990.
38. Bertrand Meyer. Eiffel: the language. Prentice-Hall, 1992.
39. Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The Definition of Standard ML (Revised). MIT Press, Cambridge, MA, 1997.
40. Etienne Morel and Claude Renvoise. Global Optimization by Suppression of Partial Redundancies. Communications of the ACM, 22(2):96-103, February 1979.
41. Warwick B. Mugridge, John Hamer, and John G. Hosking. Multi-Methods in a Statically-Typed Programming Language. In P. America, editor, Proceedings ECOOP '91, LNCS 512, pages 307-324, Geneva, Switzerland, July 15-19 1991. Springer-Verlag.
42. Hiroaki Nakamura, Tamiya Onodera, and Mikio Takeuchi. Message dispatch using binary decision trees. Technical Report RT0137, IBM Research, Tokyo Research Laboratory, Kanagawa, Japan, March 1, 1996.
43. Greg Nelson. Systems Programming with Modula-3. Prentice Hall, Englewood Cliffs, NJ, 1991.
44. Candy Pang, Wade Hoist, Yuri Leontiev, and Duane Szafron. Multi-Method Dispatch Using Multiple Row Displacement. In Proceedings ECOOP '99, Lison, Portugal, June 1999. Springer-Verlag.
45. Simon L. Peyton Jones. The Implementation of Functional Programming Languages. Prentice-Hall, 1987.
46. John Plevyak and Andrew A. Chien. Precise Concrete Type Inference for Object-Oriented Languages. In Proceedings OOPSLA '94, pages 324-340, Portland, OR, October 1994.
47. John R. Rose. Fast Dispatch Mechanisms for Stock Hardware. In Proceedings OOPSLA '88, pages 27-35, November 1988. Published as ACM SIGPLAN Notices, volume 23, number 11.
48. John R. Rose. Fast Dispatch Mechanisms for Stock Hardware. In Proceedings OOPSLA '88, pages 27-35, November 1988. Published as ACM SIGPLAN Notices, volume 23, number 11.
49. Andrew Shalit, editor. The Dylan Reference Manual. Addison-Wesley, Reading, MA, 1996.
50. Guy L. Steele Jr. Common Lisp: The Language. Digital Press, Bedford, MA, 1990. Second edition.
51. Bjame Stroustrup. The C++ Programming Language (second edition). Addision-Wesley, Reading, MA, 1991.
52. Antero Taivalsaari. Object-oriented programming with modes. Journal of Object-Oriented Programming, pages 25-32, June 1993.
53. Jan Vitek, Nigel Horspool, and Andreas Krall. Efficient Type Inclusion Tests. In Proceedings OOPSLA '97, Atlanta, GA, October 1997.
54. Olivier Zendra, Dominique Colnet, and Suzanne Collin. Efficient Dynamic Dispatch Without Virtual Function Tables: The SmallEiffel Compiler. In OOPSLA'97 Conference Proceedings, Atlanta, GA, October 1997.