Eiffel programming language
E347704
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.
All labels observed (4)
| Label | Occurrences |
|---|---|
| Eiffel programming language canonical | 9 |
| Eiffel (programming language) | 1 |
| Eiffel compiler | 1 |
| Eiffel: The Language | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T3304324 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Eiffel programming language Context triple: [Bertrand Meyer, knownFor, Eiffel programming language]
-
A.
Vale programming language
Vale is a memory-safe, performance-focused systems programming language that explores region-based memory management and borrow-checking concepts similar to those in Rust.
-
B.
Oberon programming language
The Oberon programming language is a minimalist, modular, and strongly typed language designed by Niklaus Wirth as the successor to Modula-2, emphasizing simplicity and efficiency in both language and operating system design.
-
C.
RPL programming language
RPL is a stack-based, reverse Polish Lisp-like programming language developed by Hewlett-Packard for its graphing calculators, combining features of RPN and structured programming.
-
D.
Ada (programming language)
Ada is a statically typed, high-level programming language designed with strong support for reliability, safety, and real-time systems, widely used in mission-critical and embedded applications such as aerospace and defense.
-
E.
FLOW-MATIC programming language
FLOW-MATIC programming language is an early English-like business data processing language developed in the 1950s that heavily influenced the design of COBOL.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Eiffel programming language Target entity description: 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.
-
A.
Vale programming language
Vale is a memory-safe, performance-focused systems programming language that explores region-based memory management and borrow-checking concepts similar to those in Rust.
-
B.
Oberon programming language
The Oberon programming language is a minimalist, modular, and strongly typed language designed by Niklaus Wirth as the successor to Modula-2, emphasizing simplicity and efficiency in both language and operating system design.
-
C.
RPL programming language
RPL is a stack-based, reverse Polish Lisp-like programming language developed by Hewlett-Packard for its graphing calculators, combining features of RPN and structured programming.
-
D.
Ada (programming language)
Ada is a statically typed, high-level programming language designed with strong support for reliability, safety, and real-time systems, widely used in mission-critical and embedded applications such as aerospace and defense.
-
E.
FLOW-MATIC programming language
FLOW-MATIC programming language is an early English-like business data processing language developed in the 1950s that heavily influenced the design of COBOL.
- F. None of above. chosen
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 ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Eiffel programming language Description of subject: 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.
Referenced by (12)
Full triples — surface form annotated when it differs from this entity's canonical label.
this entity surface form:
Eiffel: The Language
this entity surface form:
Eiffel (programming language)
subject surface form:
Object-Oriented Software Construction
subject surface form:
Object-Oriented Software Construction
this entity surface form:
Eiffel compiler