IntroductionTerminologyExpressionsControlObjectsInheritanceTechnologySummary
The language Eiffel has been designed with
a clear concern for correctness
and validation.
It supports a bottom-up development approach,
centered around the design of robust classes.
Along with the language,
[Meyer88] introduces the notion of contracts
as a means to specify the mutual obligations
between the user of an object and the object
in terms of a client/server relation.
Eiffel is a (type secure) statically typed
language, providing multiple inheritance
and generic classes.
Recently, Eiffel-3 has been introduced,
supporting a number of features (such as overloading)
inspired by C++. See [Eiffel3].
[B]
-
[up]
[top] -
[I]
[II]
[III]
[IV] -
[1]
[2]
[3]
[4]
[5]
[6]
[7]
[8]
[9]
[10]
[11]
[12] -
[A]
[R]
