Eiffel
E96205
Eiffel is an object-oriented programming language designed by Bertrand Meyer, known for its emphasis on software correctness through the Design by Contract methodology.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Eiffel canonical | 11 |
Statements (52)
| Predicate | Object |
|---|---|
| instanceOf | object-oriented programming language ⓘ |
| countryOfOrigin | France ⓘ |
| designer | Bertrand Meyer ⓘ |
| emphasis |
maintainability
ⓘ
reliability ⓘ software correctness ⓘ |
| executionModel | compiled language ⓘ |
| fileExtension | .e ⓘ |
| firstAppeared | 1985 ⓘ |
| hasFeature |
agents
ⓘ
class invariants ⓘ contracts ⓘ deferred classes ⓘ expanded types ⓘ garbage collection ⓘ generic constraints ⓘ loop invariants ⓘ loop variants ⓘ multiple inheritance with renaming ⓘ once routines ⓘ postconditions ⓘ preconditions ⓘ selective export ⓘ |
| hasImplementation |
Eiffel Software
ⓘ
surface form:
EiffelStudio
|
| influenced |
C# design by contract libraries
ⓘ
D language contracts ⓘ Java modeling techniques ⓘ Spec# ⓘ |
| influencedBy |
Ada (programming language)
ⓘ
surface form:
Ada
CLU ⓘ Simula ⓘ |
| paradigm |
concurrent programming
ⓘ
generic programming ⓘ imperative programming ⓘ object-oriented programming ⓘ |
| primaryImplementationBy | Eiffel Software ⓘ |
| standardizedBy |
ECMA International
ⓘ
surface form:
ECMA
International Organization for Standardization ⓘ
surface form:
ISO
|
| standardName |
ECMA-367
ⓘ
ISO/IEC 25436 ⓘ |
| supports |
Design by Contract
ⓘ
automatic memory management ⓘ concurrency ⓘ exception handling ⓘ generic classes ⓘ multiple inheritance ⓘ multiple platforms ⓘ separate compilation ⓘ |
| typingDiscipline |
manifest typing
ⓘ
safe typing ⓘ static typing ⓘ strong typing ⓘ |
Referenced by (11)
Full triples — surface form annotated when it differs from this entity's canonical label.
subject surface form:
Yukihiro Matsumoto
subject surface form:
Object-Oriented Software Construction