Type Inference for Late Binding. The SmallEiffel Compiler.

Suzanne Collin (1) , Dominique Colnet (2) , Olivier Zendra (2)

1 LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
2 ECOO - Environment for cooperation

The SmallEiffel compiler uses a simple type inference mechanism to translate Eiffel source code to C code. The most important aspect in our technique is that many occurrences of late binding are replaced by static binding. Moreover, when dynamic dispatch cannot be removed, inlining is still possible. The advantage of this approach is that it speeds up execution time and decreases considerably the amount of generated code. SmallEiffel compiler source code itself is a large scale benchmark used to show the quality of our results. Obviously, this efficient technique can also be used for class-based languages without dynamic class creation: for example, it is possible for C++ or Java and not possible for Smalltalk.

Mots clés: type inference; Eiffel; compilation; OOP

Domaines: Langage de programmation [cs.PL]; Performance et fiabilité [cs.PF]

Suzanne Collin, Dominique Colnet, Olivier Zendra. Type Inference for Late Binding. The SmallEiffel Compiler.. Joint Modular Languages Conference (JMLC), 1997, Lintz, Austria. pp.67--81. ⟨inria-00563353⟩