TY - SER AU - Colnet, Dominique AU - Zendra, Olivier TI - Global system analysis at work KW - PROGRAMMING LANGUAGES KW - METHODS KW - OBJECT ORIENTED PROGRAMMING KW - COMPILERS N1 - Although program optimization has always been a major preoccupation of compiler designers and implementers, most of the tools currently available do not feature one of the most efficient methods-global system analysis. On the contrary, SmallEiffel, the GNU Eiffel Compiler strongly relies on global system analysis in order to compile the system's Eiffel source code more efficiently and generate a highly optimized executable ER -