A. Ole-agesen, The Cartesian Product Algorithm, Proceedings of the 9th European Conference o n Object-Oriented P r o gramming ECOOP'95, p.226, 1995.
DOI : 10.1007/3-540-49538-X_2

A. Ole-agesen, Concrete Type Inference: Delivering Object-Oriented Applications, 1996.

A. Ole-agesen and U. Hhlzle, Type Feedback vs Concrete Type Inference: A Comparison of Optimization Techniques for Object- Oriented Languages, Proceedings of 10th Annual ACM Conference on Object-Oriented Programming Systems, Languages and Applications OOPSLA'95, p.91107, 1995.

A. Gerald, A. , and U. Hhlzle, Eliminating Virtual Function Calls in C++ Programs, Proceedings of the 10th European Conference on Object-Oriented P r ogramming ECOOP'96, v olume 1098 of Lecture Notes in Computer Sciences, pp.142-166, 1996.

A. Ole-agesen, J. Palsberg, and M. I. Schwartzbach, Type Inference of SELF Analysis of Objects with Dynamic and Multiple Inheritance, Proceedings of the 7th European Conference on Object-Oriented P r ogramming ECOOP'93, v olume 707 of Lecture Notes in Computer Sciences, pp.247-267, 1993.

A. Alfred, V. Aho, J. D. David, F. Bacon, and P. F. Sweeney, Principles of Compiler Design. A ddison-Wesley F ast Static Analysis of C++ Virtual Function Calls, Proceedings of 11th Annual ACM Conference on Object-Oriented P r o gramming Systems, Languages and Applications OOP- SLA'96, p.324341, 1977.

D. Karel-driesen and U. Hhlzle, The Direct Cost of Virtual Function Calls in C++, Proceedings of 11th Annual ACM Conference on Object-Oriented P r o gramming Systems, Languages and Applications OOPSLA'96, p.306323, 1996.

D. M. Dha911 and . Dhamdhere, Practical Adaptation of the Global Optimization Algorithm of Morel and Renvoise, ACM Transactions on Programming Languages and Systems, vol.132, p.291294, 1991.

D. Karel-driesen, U. Hhlzle, and J. Vitek, Message Dispatch on Pipelined Processors, Proceedings of the 9th European Conference on Object-Oriented P r o gramming ECOOP'95, v olume 952 of Lecture Notes in Computer Sciences, p.253282, 1995.

D. Amer-diwan, J. B. Eliot, K. S. Moss, and . Mckinley, Simple and EEective Analysis of Statically-Typed Object- Oriented Programs, Proceedings of 11th Annual ACM Conference on Object-Oriented Programming Systems, Languages and Applications OOPSLA'96, p.292305, 1996.

D. Peter, L. Deutsch, and A. Schiiman, Efcient Implementation of the Smalltalk-80

E. Eifrig, S. Smith, and V. Trifonov, Sound Polymorphic Type Inference for Objects, Proceedings of 10th Annual ACM Conference on Object-Oriented P r ogramming Systems, Languages and Applications OOPSLA'95, p.169184, 1995.

G. J. Graver and R. Johnson, A type system for Smalltalk, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '90, p.139150, 1990.
DOI : 10.1145/96709.96722

G. A. Goldberg and D. Robson, Smalltalk- 80, the Language and its Implementation

C. Hcu911-urs-hhlzle, D. Chambers, and . Ungar, Optimizing Dynamically-Typed Object- Oriented Languages With Polymorphic Inline Caches, Proceedings of the 5th European Conference on Object-Oriented P r ogramming ECOOP'91, v olume 512 of Lecture Notes in Computer Sciences, pp.21-38, 1991.

H. Urs-hhlzle and D. Ungar, Do Object- Oriented Languages Need Special Hardware Support ?, Proceedings of the 9th European Conference on Object-Oriented P r o gramming ECOOP'95, v olume 952 of Lecture Notes in Computer Sciences, p.283302, 1995.

J. Gosling and G. Steele, The Java Language Speciication. A ddison Wesley, 1996.

K. Jens-knoop, O. Ruthing, and B. Steeen, Partial Dead Code Elimination, Proceedings of the ACM SIGPLAN '94 Conference o n P r o gramming Language Design and Implementation, p.14710000, 1994.

M. Bertrand and M. , Object-oriented Software Construction, 1988.

M. Bertrand and M. , Eiiel, The Language, 1994.

R. Mil788 and . Milner, A Theory of Type Polymorphism in Programming, Journal of Computer and System Sciences, p.348375, 1978.

M. , G. Masini, A. Napoli, D. Colnet, D. Llonard et al., Object Oriented L anguages, 1991.

P. John, P. , and A. A. Chien, Precise Concrete Type Inference for Object-Oriented languages, Proceedings of 9th Annual ACM Conference on Object-Oriented P r ogramming Systems, Languages and Applications OOPSLA'94, p.324340, 1994.

P. Jens, P. , and M. I. Schwartzbach, Object-Oriented Type Inference, Proceedings of 6th Annual ACM Conference on Object-Oriented P r o gramming Systems, Languages and Applications OOPSLA'91, p.146161, 1991.

P. J. Palsberg and M. I. Schwartzbach, Safety Analysis Versus Type Inference for partial Types, Information Processing Letters, p.175180, 1992.

R. John and R. Rose, Fast Dispatch Mechanisms for Stock Hardware, Proceedings of 3rd Annual ACM Conference on Object-Oriented Programming Systems, Languages and Applications OOPSLA'88, p.2735, 1988.

S. N. Suzuki and M. Terada, Creating EEcient System for Object-Oriented Languages, 11th Annual ACM Symposium on the Principles of Programming Languages, pp.290-296, 1984.

B. Str866 and . Stroustrup, The C++ Programming Language . A ddison-Wesley Series in Computer Science, 1986.

N. Suz811 and . Suzuki, Inferring Types in Smalltalk, Eighth Symposium on Principles of Programming Languages, p.187199, 1981.

U. David, U. , and D. Patterson, What Price Smalltalk ?, 1987.

U. David, U. , and R. B. Smith, Self: The Power of Simplicity, Proceedings of 2nd Annual ACM Conference on Object- Oriented P r o gramming Systems, Languages and Applications OOPSLA'87, pp.227-241, 1987.

R. Vhu922-jan-vitek, J. S. Horspool, and . Uhl, Compile-Time Analysis of Object- Oriented Programs, International Conference on Compiler Construction, v olume 641 of Lecture Notes in Computer Sciences, p.237250, 1992.