Interactive Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs

ACM SIGPLAN Notices

Volumn 25, Issue 6, 1990, Pages 150-164

  Chambers, Craig ^a   Ungar, David ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING - OBJECT ORIENTED PROGRAMMING;

OBJECT-ORIENTED LANGUAGES; OPTIMIZING COMPILERS;

COMPUTER OPERATING SYSTEMS;

EID: 0025446162     PISSN: 03621340     EISSN: 15581160     Source Type: Journal    
DOI: 10.1145/93548.93562     Document Type: Article

References (24)

1. Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading, MA, 1986.
2. Craig Chambers and David Ungar. Customization: Optimizing Compiler Technology for SELF, a Dynamically-Typed Object-Oriented Programming Language. In Proceedings of the SIGPLAN ‘89 Conference on Programming Language Design and Implementation, Portland, OR, June, 1989. Published as SIGPLAN Notices 24(7), July, 1989.
3. Craig Chambers, David Ungar, and Elgin Lee. An Efficient Implementation of SELF, a Dynamically-Typed Object-Oriented Language Based on Prototypes. In OOPSLA ‘89 Conference Proceedings, pp. 49-70, New Orleans, LA, 1989. Published as SIGPLAN Notices 24(10), October, 1989.
4. L. Peter Deutsch and Allan M. Schiffman. Efficient Implementation of the Smalltalk-80 System. In Proceedings of the 11th Annual ACM Symposium on the Principles of Programming Languages, pp. 297-302, Salt Lake City, UT, 1984.
5. Adele Goldberg and David Robson. Smalltalk-80: The Language and Its Implementation. Addison-Wesley, Reading, MA, 1983.
6. Justin Owen Graver. Type-Checking and Type-Inference for Object-Oriented Programming Languages. Ph.D. thesis, University of Illinois at Urbana-Champaign, 1989.
7. Justin O. Graver and Ralph E. Johnson. A Type System for Smalltalk. In Conference Record of the 17th Annual ACM Symposium on Principles of Programming Languages, pp. 136-150, San Francisco, CA, January, 1990.
8. Richards Louis Heintz, Jr. Low Level Optimizations for an Object-Oriented Programming Language. Master's thesis, University of Illinois at Urbana-Champaign, 1990.
9. John Hennessy. Stanford integer benchmarks. Personal communication, June, 1988.
10. Ralph E. Johnson. Type-Checking Smalltalk. In OOPSLA ‘86 Conference Proceedings, pp. 315-321, Portland, OR, 1986. Published as SIGPLAN Notices 21(11), November, 1986.
11. Ralph E. Johnson, Justin O. Graver, and Lawrence W. Zurawski. TS: An Optimizing Compiler for Smalltalk. In OOPSLA ‘88 Conference Proceedings, pp. 18-26, San Diego, CA, 1988. Published as SIGPLAN Notices 23(11), November, 1988.
12. Elgin Lee. Object Storage and Inheritance for SELF, a Prototype-Based Object-Oriented Programming Language. Engineer's thesis, Stanford University, 1988.
13. Carl D. McConnell. The Design of the RTL System. Master's thesis, University of Illinois at Urbana-Champaign, 1989.
14. John Mitchell. Personal communication, November, 1989.
15. Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. ?IT Press, Cambridge, MA, 1990.
16. Atsushi Ohori and Peter Buneman. Static Type Inference for Parametric Classes. In OOPSLA ‘89 Conference Proceedings, pp. 445-456, New Orleans, LA, 1989. Published as SIGPLAN Notices 24(10), October, 1989.
17. David A. Padua and Michael J. Wolfe. Advanced Compiler Optimizations for Supercomputers. In Communications of the ACM, pp. 1184-1201, December, 1986.
18. Jonathan Rees and William Clinger, editors. Revised3 Report on the Algorithmic Language Scheme. 1986.
19. Peter Sestoft and Harald Søndergaard. A Bibliography on Partial Evaluation. In SIGPLAN Notices 23(2), pp. 19-27, February, 1988.
20. David Ungar. The Design and Evaluation of a High Performance Smalltalk System. ?IT Press, Cambridge, MA, 1987.
21. David Ungar. A Performance Comparison of C, SELF, and Smalltalk Implementations. Unpublished manuscript, March, 1989.
22. David Ungar and Randall B. Smith. SELF: The Power of Simplicity. In OOPSLA ‘87 Conference Proceedings, pp. 227-241, Orlando, FL, 1987. Published as SIGPLAN Notices 22(12), December, 1987.
23. M. Wand, Complete Type Inference for Simple Objects. In Proceedings of the 2nd IEEE Symposium on Logic in Computer Science, pp. 37-44, 1987.
24. M. Wand. Type Inference for Record Concatenation and Multiple Inheritance. In Proceedings of the 4th IEEE Symposium on Logic in Computer Science, pp. 92-97, 1989.