Skip to Main content Skip to Navigation
New interface
Conference papers

Type Inference for Late Binding. The SmallEiffel Compiler.

Suzanne Collin 1 Dominique Colnet 2 Olivier Zendra 2 
2 ECOO - Environment for cooperation
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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.
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download
Contributor : Olivier Zendra Connect in order to contact the contributor
Submitted on : Friday, February 4, 2011 - 4:03:01 PM
Last modification on : Friday, February 4, 2022 - 3:34:48 AM
Long-term archiving on: : Thursday, May 5, 2011 - 3:31:52 AM


Publisher files allowed on an open archive


  • HAL Id : inria-00563353, version 1



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⟩



Record views


Files downloads