1. The GNU Eiffel Compiler SmallEiffel is a compiler for the Eiffel language, which is a pure object-oriented language providing strong type-checking and based on the concept of 'design by contract'. It allows multiple inheritance and does it well. Design-by-contract means that a class guarantees that certain conditions will always hold, and that a routine guarantees certain results given certain specified inputs. The rules for inheritance mean that contracts can be relied on even when classes are reused through inheritance. The Eiffel language is described and defined in the book "Eiffel: The Language" by Bertrand Meyer. From Debian 3.0r0 APT