Type Feedback vs. Concrete Type Inference: A Comparison of Optimization Techniques for Obiect-Oriented Languages

ACM SIGPLAN Notices

Volumn 30, Issue 10, 1995, Pages 91-107

  Agesen, Ole ^a   Holzle, Urs ^b  

^a STANFORD UNIVERSITY   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84976720471     PISSN: 03621340     EISSN: 15581160     Source Type: Journal    
DOI: 10.1145/217839.217847     Document Type: Article

References (13)

1. Ole Agesen. Constraint-Based Type Inference and Parametric Polymorphism. In SAS '94, First Internarionnl 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, Arhus, Denmark, Aug. 1995.
4. Ole Agesen and Urs Holzle. 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 Language 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, Arhus, Denmark, Aug. 1995.
10. L. Peter Deutsch and Alan Schiffman. Efficient Implementation of the Smalltalk-80 System. Proceedings of the IIth Symposium on the Principles of Programming Languages, p. 297–302, Salt Lake City, UT, Jan. 1984.
11. Eric J. Vnn 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.