Statements (33)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:programming_language
|
| gptkbp:designedBy |
gptkb:Bertrand_Meyer
|
| gptkbp:fileExtension |
.e
|
| gptkbp:firstAppearance |
1986
|
| https://www.w3.org/2000/01/rdf-schema#label |
Eiffel programming language
|
| gptkbp:influenced |
gptkb:Python
gptkb:Spec# gptkb:Object_Constraint_Language gptkb:Sather gptkb:Java_Modeling_Language D |
| gptkbp:influencedBy |
gptkb:Simula
gptkb:Smalltalk gptkb:Ada gptkb:C++ gptkb:Z_notation |
| gptkbp:license |
gptkb:GPL
|
| gptkbp:notableFor |
gptkb:EiffelStudio
gptkb:SmartEiffel gptkb:ISE_Eiffel |
| gptkbp:paradigm |
imperative
generic object-oriented component-oriented |
| gptkbp:standardizedBy |
gptkb:ISO
gptkb:ECMA |
| gptkbp:supports |
gptkb:Design_by_Contract
|
| gptkbp:typingDiscipline |
strong
safe static |
| gptkbp:website |
https://www.eiffel.org/
|
| gptkbp:bfsParent |
gptkb:Eiffel_(software_company)
|
| gptkbp:bfsLayer |
6
|