Eiffel programming language

E347704
object-oriented programming language programming language

Eiffel is an object-oriented programming language designed by Bertrand Meyer that emphasizes software correctness through features like Design by Contract and strong support for modular, reusable code.

Try in SPARQL Jump to: Surface forms Statements Referenced by

All labels observed (4)

Label Occurrences
Eiffel programming language canonical 9
Eiffel (programming language) 1
Eiffel compiler 1

Statements (44)

Predicate Object
instanceOf object-oriented programming language ⓘ
programming language ⓘ
designer Bertrand Meyer ⓘ
emphasizes modularity ⓘ
reliability ⓘ
reusability ⓘ
software correctness ⓘ
feature Design by Contract ⓘ
agents (function objects / delegates) ⓘ
assertions integrated into language ⓘ
automatic memory management ⓘ
class invariants ⓘ
concurrency model SCOOP ⓘ
contracts (preconditions, postconditions, invariants) ⓘ
exception handling ⓘ
garbage collection ⓘ
generic classes ⓘ
loop invariants ⓘ
loop variants ⓘ
multiple dispatch via polymorphism ⓘ
multiple inheritance ⓘ
static typing ⓘ
strong typing ⓘ
hasImplementation Eiffel Software ⓘ
surface form: EiffelStudio

SmartEiffel (historical) ⓘ
influenced Design by Contract ⓘ
surface form: C# code contracts

Design by Contract adoption in other languages ⓘ
Java modeling and contract frameworks ⓘ
specification languages and tools ⓘ
paradigm concurrent programming ⓘ
functional programming (multi-paradigm aspects) ⓘ
generic programming ⓘ
imperative programming ⓘ
object-oriented programming ⓘ
supports contract-based programming ⓘ
encapsulation ⓘ
genericity ⓘ
information hiding ⓘ
inheritance ⓘ
multiple inheritance with renaming and selection ⓘ
polymorphism ⓘ
seamless development from specification to implementation ⓘ
typingDiscipline static ⓘ
strong ⓘ

Referenced by (12)

Full triples — surface form annotated when it differs from this entity's canonical label.

Bertrand Meyer → knownFor → Eiffel programming language ⓘ
Bertrand Meyer → designed → Eiffel programming language ⓘ
Bertrand Meyer → notableWork → Eiffel programming language ⓘ
this entity surface form: Eiffel: The Language
Simula → influenced → Eiffel programming language ⓘ
this entity surface form: Eiffel (programming language)
object-oriented software construction → usesFormalism → Eiffel programming language ⓘ
subject surface form: Object-Oriented Software Construction
object-oriented software construction → associatedWith → Eiffel programming language ⓘ
subject surface form: Object-Oriented Software Construction
Eiffel method → basedOn → Eiffel programming language ⓘ
Eiffel Software → notableFor → Eiffel programming language ⓘ
Eiffel Software → develops → Eiffel programming language ⓘ
Interactive Software Engineering → product → Eiffel programming language ⓘ
this entity surface form: Eiffel compiler
Interactive Software Engineering → associatedWith → Eiffel programming language ⓘ
Eiffel community → focusesOn → Eiffel programming language ⓘ