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 |
How this entity was disambiguated
This entity first appeared as the object of triple T815661 — 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 Context triple: [Ruby, influencedBy, Eiffel]
-
A.
Eiffel
Eiffel is a French surname most famously associated with engineer Gustave Eiffel, designer of the Eiffel Tower in Paris.
-
B.
Eiffel Tower
The Eiffel Tower is a wrought-iron lattice tower in Paris, France, and one of the most recognizable landmarks and symbols of the country.
-
C.
Trocadéro
Trocadéro is a prominent area in Paris known for its grand esplanade and panoramic views of the Eiffel Tower, historically associated with major exhibitions and cultural events.
-
D.
58 Tour Eiffel
58 Tour Eiffel is a contemporary French restaurant located on the first floor of the Eiffel Tower, offering panoramic views of Paris.
-
E.
Arc de Triomphe
The Arc de Triomphe is a monumental triumphal arch in Paris that honors those who fought and died for France in the French Revolutionary and Napoleonic Wars and serves as one of the city’s most iconic landmarks.
- 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 Target entity description: Eiffel is an object-oriented programming language designed by Bertrand Meyer, known for its emphasis on software correctness through the Design by Contract methodology.
-
A.
Eiffel
Eiffel is a French surname most famously associated with engineer Gustave Eiffel, designer of the Eiffel Tower in Paris.
-
B.
Eiffel Tower
The Eiffel Tower is a wrought-iron lattice tower in Paris, France, and one of the most recognizable landmarks and symbols of the country.
-
C.
Trocadéro
Trocadéro is a prominent area in Paris known for its grand esplanade and panoramic views of the Eiffel Tower, historically associated with major exhibitions and cultural events.
-
D.
58 Tour Eiffel
58 Tour Eiffel is a contemporary French restaurant located on the first floor of the Eiffel Tower, offering panoramic views of Paris.
-
E.
Arc de Triomphe
The Arc de Triomphe is a monumental triumphal arch in Paris that honors those who fought and died for France in the French Revolutionary and Napoleonic Wars and serves as one of the city’s most iconic landmarks.
- F. None of above. chosen
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 ⓘ |
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 Description of subject: Eiffel is an object-oriented programming language designed by Bertrand Meyer, known for its emphasis on software correctness through the Design by Contract methodology.
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