Optimizations of Eiffel programs: SmallEiffel, the GNU Eiffel Compiler

Abstract

The design of the Eiffel language makes it possible to perform global optimizations on Eiffel programs. We describe some of the techniques we used in SmallEiffel, The GNU Eiffel Compiler, to generate highly efficient excecutables for Eiffel programs. Most of these techniques-related to global analysis or not-may also be applied to other object oriented languages.