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 metadatas

Cited literature [12 references]  Display  Hide  Download

https://hal.inria.fr/inria-00563353
Contributor : Olivier Zendra <>
Submitted on : Friday, February 4, 2011 - 4:03:01 PM
Last modification on : Thursday, January 11, 2018 - 6:25:24 AM
Long-term archiving on : Thursday, May 5, 2011 - 3:31:52 AM

Files

jmlc97.pdf
Publisher files allowed on an open archive

Identifiers

  • HAL Id : inria-00563353, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

309

Files downloads

196