This paper reports our experience about aliasing in the implementation of SmallEiffel, the GNU Eiffel Compiler. The SmallEiffel compiler source code makes intensive use of aliasing in order to achieve very good performance. We explain how aliasing can be handled in a safer way, and how helpful

The design of the Eiel language makes it possible to perform global optimizations on Eiel programs. In this paper, we describe some of the techniques we used in SmallEiel, The GNU Eiel Compiler, to generate highly ecient executables for Eiel programs. Most of these techniques | related to global

, and thus it works at a lower level than abstract-syntax trees. But CIL is also more high-level than typical intermediate languages (e.g., three-address code) designed for compilation. As a result, what we have is a representation that makes it easy to analyze and manipulate C programs, and emit them in a

Type Binding is the process of assigning a type to a variable. A distinction is made between static and dynamic binding depending on whether the binding occurs at compile-time or at run-time respectively. Type Strength refers to the effectiveness with which a type system prevents type errors. A

... In this paper we describe our initial implementation of SCOOP using the GNU Eiffel compiler. We focus on the run-time system, showing how SCOOP's synchronization mechanisms depend on the solution of a dynamic mutual exclusion problem; we give a solution using a thread and lock manager. We

We describe a translation validation infrastructure for the GNU C compiler. During the compilation the infrastructure compares the intermediate form of the program before and after each compiler pass and verifies the preservation of semantics. We discuss a general framework that the optimizer can

” algorithm as part of a partial verification tool called ESP. We present the results of applying ESP to the problem of verifying the file I/O behavior of a version of the GNU C compiler (gcc, 140,000 LOC). We are able to prove that all of the 646 calls to fprintf in the source code of gcc are guaranteed

Source code of EiffelStudio provides the Eiffel programmers with valuable examples of applying the Eiffel methodology. The exercise is designed to guide you through the process of setting up the environment as well as compiling and executing the EiffelStudio workbench, to 1) review the Eiffel

The subject of our work is an original interactive telecommunication protocols design, simulation, and prototyping tool set. The following subjects were investigated during the research phase of the project:- Efficient modeling of dynamic, unpredictable data structures,- Reliable yet tunable code generation routines. The idea of this presentation is to show modern efficient methods of design of efficient complex software solutions. API – Application programming interface,

by the original contracts. The task of the proof-transforming compiler is made particularly challenging by the impedance mismatch between the source language, Eiffel, and the target code,.NET CIL, which does not directly support such important Eiffel mechanisms as multiple inheritance and contract