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.
Statements (52)
| Predicate | Object |
|---|---|
| instanceOf |
object-oriented programming language
→
|
| countryOfOrigin |
France
→
|
| designer |
Bertrand Meyer
NERFINISHED
→
|
| 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 |
EiffelStudio
NERFINISHED
→
|
| influenced |
C# design by contract libraries
→
D language contracts → Java modeling techniques → Spec# NERFINISHED → |
| influencedBy |
Ada
NERFINISHED
→
CLU NERFINISHED → Simula NERFINISHED → |
| paradigm |
concurrent programming
→
generic programming → imperative programming → object-oriented programming → |
| primaryImplementationBy |
Eiffel Software
NERFINISHED
→
|
| standardizedBy |
ECMA
NERFINISHED
→
ISO NERFINISHED → |
| standardName |
ECMA-367
NERFINISHED
→
ISO/IEC 25436 NERFINISHED → |
| supports |
Design by Contract
NERFINISHED
→
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 (4)
| Subject (surface form when different) | Predicate |
|---|---|
|
Ruby
→
Scala → Yukihiro Matsumoto → |
influencedBy |
|
Bertrand Meyer
→
|
languageDesigned |