Optimizing Compiler Technology for SELF, a Dynamically-Typed Object-Oriented Language, Proc. OOPSLA'89, pp.146-160, 1989. ,
« Type inference for Late Binding, The SmallEiffel Compiler », Joint Modular Languages Conference, pp.67-81, 1997. ,
« A fast method dispatcher for compiled languages with multiple inheritance, Proc. OOPSLA'89, 1989. ,
Implementing statically typed object-oriented programming languages, ACM Computing Surveys, vol.43, issue.3, 2002. ,
DOI : 10.1145/1922649.1922655
URL : https://hal.archives-ouvertes.fr/lirmm-00090367
La coloration pour l???impl??mentation des langages objets ?? typage statique, Actes LMO'2002 in L'Objet, pp.79-98, 2002. ,
DOI : 10.3166/objet.8.1-2.79-98
coloration : une technique pour l'implémentation des langages à objets à typage statique. II. La coloration de méthodes et d'attributs, 2003. ,
The complexity of type analysis of object oriented programs, Proc. ECOOP'98, pp.601-634, 1998. ,
DOI : 10.1007/BFb0054109
« A Framework for Call Graph Construction Algorithms, ACM Trans. Program. Lang. Syst, vol.23, issue.6, pp.685-746, 2001. ,
Translating Theory into Practice, Proceedings of the 24th ACM Symposium on Principles of Programming Languages (PO- PL'97), pp.146-159, 1997. ,
Analyse de types et graphe d'appels en compilation séparée, 2002. ,
« Two-directional record layout for multiple inheritance, Proc. ACM Conf. on Programming Language Design and Implementation (PLDI'90), pp.85-91, 1990. ,
« Coloration de classes et de propriétés : étude algorithmique et heuristique », 2003. ,
Taming message passing: Efficient method look-up for dynamically typed languages, Proc. ECOOP'94, pp.432-449, 1994. ,
DOI : 10.1007/BFb0052195