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.
Type de document :
Communication dans un congrès
Joint Modular Languages Conference (JMLC), 1997, Lintz, Austria. Springer Verlag, 1204, pp.67--81, 1997, Lecture Notes in Computer Sciences
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00563353
Contributeur : Olivier Zendra <>
Soumis le : vendredi 4 février 2011 - 16:03:01
Dernière modification le : jeudi 11 janvier 2018 - 06:25:24
Document(s) archivé(s) le : jeudi 5 mai 2011 - 03:31:52

Fichiers

jmlc97.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • 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. Springer Verlag, 1204, pp.67--81, 1997, Lecture Notes in Computer Sciences. 〈inria-00563353〉

Partager

Métriques

Consultations de la notice

274

Téléchargements de fichiers

139