Type feedback vs. concrete type inference: A comparison of optimization techniques for object-oriented languages

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

Volumn , Issue , 1995, Pages 91-107

  Agesen, Ole ^a   Hölzle, Urs ^b  

^a STANFORD UNIVERSITY   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CLASS PREDICTION; CONCRETE TYPES; OBJECT-ORIENTED LANGUAGES; OPTIMIZATION TECHNIQUES; RUN-TIME PERFORMANCE; TYPE INFERENCES;

CONCRETES; OBJECT ORIENTED PROGRAMMING; OPTIMIZATION; STATIC ANALYSIS;

INTEGER PROGRAMMING;

EID: 0029461378     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/217838.217847     Document Type: Conference Paper

References (31)

1. Ole Agesen. Constraint-Based Type Inference and Parametric Polymorphism. In SAS '94, First International Static Analysis Symposium, p. 78-100, Namur, Belgium, Sept. 1994. Springer-Verlag (LNCS 864).
2. Ole Agesen and David Ungar. Sifting Out the Gold: Delivering Compact Applications from an Object-Oriented Exploratory Programming Environment. In OOPSLA '94, Object-Oriented Programming Systems, Languages and Applications, p. 355-370, Portland, OR, Oct. 1994.
3. Ole Agesen. The Cartesian Product Algorithm: Simple and Precise Type Inference of Parametric Polymorphism. In ECOOP '95, Ninth European Conference on Object-Oriented Programming, Århus, Denmark, Aug. 1995.
4. Ole Agesen and Urs Hölzle. Type Feedback vs. Concrete Type Inference: A Comparison of Optimization Techniques for Object-Oriented Languages. Technical Report TRCS95-04, University of California, Santa Barbara, March 1995.
5. Ole Agesen, Jens Palsberg, and Michael I. Schwartzbach. Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance. In ECOOP '93, Seventh European Conference on Object-Oriented Programming, p. 247-267, Kaiserslautern, Germany, July 1993. Springer-Verlag (LNCS 707).
6. Brad Calder, Dirk Grunwald, and Benjamin Zorn. Quantifying Behavioral Differences Between C and C++ Programs. Journal of Programming Languages 4(2), Dec. 1994.
7. Craig Chambers, David Ungar, and Elgin Lee. An Efficient Implementation of SELF, a Dynamically-Typed Object-Oriented Language Based on Prototypes. In OOPSLA '89, Object-Oriented Programming Systems, Languages and Applications, p. 49-70, New Orleans, LA, Oct. 1989.
8. Craig Chambers and David Ungar. Iterative Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs. In Proceedings of the SIGPLAN '90 Conference on Programming Lunguage Design and Implementation, p. 150-164, White Plains, NY, June 1990.
9. Jeffrey Dean, David Grove, and Craig Chambers. Optimization of object-oriented programs using static class hierarchy analysis. In ECOOP '95, Ninth European Conference on Object-Oriented Programming, Århus, Denmark, Aug. 1995.
10. L. Peter Deutsch and Alan Schiffman. Efficient Implementation of the Smalltalk-80 System. Proceedings of the 11th Symposium on the Principles of Programming Languages, p. 297-302, Salt Lake City, UT, Jan. 1984.
11. Eric J. Van Dyke. A dynamic incremental compiler for an interpretative language. HP Journal, p. 17-24, July 1977.
12. David Grove, Jeffrey Dean, Charles D. Garrett, and Craig Chambers.Profile-Guided Receiver Class Prediction. In OOPSLA '95, Object-Oriented Programming Systems, Languages and Applications, Austin, TX, Oct. 1995.
13. Leo J. Guibas and Douglas K. Wyatt. Compilation and Delayed Evaluation in APL. In Fifth Annual ACM Symposium on Principles of Programming Languages, p. 1-8, 1978.
14. Urs Hölzle, Craig Chambers, and David Ungar. Optimizing Dynamically-Typed Object-Oriented Languages with Polymorphic Inline Caches. In ECOOP '91, Fifth European Conference on Object-Oriented Programming, p. 21-38, Geneva, July 1991. Springer-Verlag (LNCS 512).
15. Urs Hölzle. Adaptive Optimization in SELF: Reconciling High Performance with Exploratory Programming. Ph.D. Thesis, Department of Computer Science, Stanford University, Aug. 1994. (Available from http://www.cs.ucsb.edu/ ~urs.)
16. Urs Hölzle and David Ungar. Optimizing Dynamically-Dispatched Calls with Run-Time Type Feedback. In Proceedings of the SIGPLAN '94 Conference on Programming Language Design and Implementation, p. 326-336, Orlando, FL, June 1994.
17. Urs Hölzle and David Ungar. A Third-Generation SELF Implementation: Reconciling Responsiveness with Performance. OOPSLA '94, Object-Oriented Programming Systems, Languages and Applications, p. 229-243, Portland, OR, Oct. 1994.
18. Ralph Johnson, Justin Graver, and Lawrence Zurawski. TS: An optimizing compiler for Smalltalk. In OOPSLA '88, Object-Oriented Programming Systems, Languages and Applications, p. 18-26, San Diego, CA, Sept. 1988.
19. Ronald L. Johnston. The Dynamic Incremental Compiler of APL\3000. In Proceedings of the APL '79 Conference.Published as APL Quote Quad 9(4), p. 82-87, 1979.
20. Glenn Krasner, ed., Smalltalk-80: Bits of History and Words of Advice. Addison-Wesley, Reading, MA, 1983.
21. J. G. Mitchell, Design and Construction of Flexible and Efficient Interactive Programming Systems. Ph.D. Thesis, Carnegie-Mellon University, 1970.
22. Nicholas Oxhøj, Jens Palsberg and Michael I. Schwartzbach. Making Type Inference Practical. In ECOOP '92, Sixth European Conference on Object-Oriented Programming, p. 329-349, Utrecht, The Netherlands, June 1992. Springer-Verlag (LNCS 615).
23. Jens Palsberg and Michael I. Schwartzbach. Object-Oriented Type Inference. In OOPSLA '91, Conference on Object-Oriented Programming Systems, Languages and Applications, p. 146-161, Phoenix, AZ, Oct. 1991.
24. Hemant D. Pande and Barbara G. Ryder. Static Type Determination and Aliasing for C++. Technical Report LCSR-TR-236, Rutgers University, Dec. 1994.
25. John B. Plevyak and Andrew A. Chien. Precise Concrete Type Inference for Object-Oriented Languages. In OOPSLA '94, Object-Oriented Programming Systems, Languages and Applications, p. 324-340, Portland, OR, Oct. 1994.
26. John B. Plevyak and Andrew A. Chien. Precise Concrete Type Inference and its Use in Program Optimization. Unpublished report, Oct. 1994.
27. John B. Plevyak and Andrew A. Chien. Efficient cloning to eliminate dynamic dispatch in object-oriented languages. Unpublished report, Dec. 1994.
28. John B. Plevyak, Xingbin Zhang, and Andrew A. Chien. Obtaining sequential efficiency for concurrent object-oriented languages. In Proceedings of the 22nd Symposium on Principles of Programming Languages, p. 311-321, San Francisco, CA, Jan. 1995.
29. Norihisa Suzuki. Inferring Types in Smalltalk. In Conference Record of the Eighth Annual ACM Symposium on Principles of Programming Languages, p. 227-241, Jan. 1981.
30. David Ungar and Randall B. Smith. SELF:The Power of Simplicity. In OOPSLA '87, Object-Oriented Programming Systems, Languages and Applications, p. 227-241, Orlando, FL, Oct. 1987.
31. Jan Vitek, R. Nigel Horspool and James S. Uhl. Compile-time Analysis of Object-Oriented Programs. In Proceedings of CC'92, 4th International Conference on Compiler Construction, p. 236-250, Paderborn, Germany, Oct. 1992. Springer-Verlag (LNCS 641).