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
Concrete Type Inference: Delivering Object-Oriented Applications, 1996. ,
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. ,
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. ,
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. ,
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. ,
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. ,
Practical Adaptation of the Global Optimization Algorithm of Morel and Renvoise, ACM Transactions on Programming Languages and Systems, vol.132, p.291294, 1991. ,
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. ,
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. ,
Efcient Implementation of the Smalltalk-80 ,
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. ,
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
Smalltalk- 80, the Language and its Implementation ,
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. ,
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. ,
The Java Language Speciication. A ddison Wesley, 1996. ,
Partial Dead Code Elimination, Proceedings of the ACM SIGPLAN '94 Conference o n P r o gramming Language Design and Implementation, p.14710000, 1994. ,
Object-oriented Software Construction, 1988. ,
Eiiel, The Language, 1994. ,
A Theory of Type Polymorphism in Programming, Journal of Computer and System Sciences, p.348375, 1978. ,
Object Oriented L anguages, 1991. ,
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. ,
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. ,
Safety Analysis Versus Type Inference for partial Types, Information Processing Letters, p.175180, 1992. ,
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. ,
Creating EEcient System for Object-Oriented Languages, 11th Annual ACM Symposium on the Principles of Programming Languages, pp.290-296, 1984. ,
The C++ Programming Language . A ddison-Wesley Series in Computer Science, 1986. ,
Inferring Types in Smalltalk, Eighth Symposium on Principles of Programming Languages, p.187199, 1981. ,
What Price Smalltalk ?, 1987. ,
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. ,
Compile-Time Analysis of Object- Oriented Programs, International Conference on Compiler Construction, v olume 641 of Lecture Notes in Computer Sciences, p.237250, 1992. ,