ISO/IEC 25436
E440616
ISO/IEC 25436 is the international standard that formally defines the Eiffel programming language.
All labels observed (1)
| Label | Occurrences |
|---|---|
| ISO/IEC 25436 canonical | 1 |
Statements (31)
| Predicate | Object |
|---|---|
| instanceOf |
international standard
ⓘ
programming language standard ⓘ |
| appliesTo |
Eiffel compilers
ⓘ
Eiffel development tools ⓘ |
| category | programming languages ⓘ |
| defines | Eiffel programming language NERFINISHED ⓘ |
| domain | information technology ⓘ |
| governingBody |
IEC
NERFINISHED
ⓘ
ISO NERFINISHED ⓘ |
| hasAbbreviation | ISO/IEC 25436 NERFINISHED ⓘ |
| jointTechnicalCommittee | ISO/IEC JTC 1 NERFINISHED ⓘ |
| languageStandardFor | Eiffel NERFINISHED ⓘ |
| publishedBy |
International Electrotechnical Commission
NERFINISHED
ⓘ
International Organization for Standardization ⓘ |
| relatedTo |
Design by Contract
NERFINISHED
ⓘ
object-oriented programming ⓘ |
| scope | formal definition of the Eiffel programming language ⓘ |
| specifies |
assertion and contract features of Eiffel
ⓘ
core language constructs of Eiffel ⓘ exception handling mechanisms of Eiffel ⓘ genericity mechanisms of Eiffel ⓘ inheritance mechanisms of Eiffel ⓘ semantics of Eiffel ⓘ syntax of Eiffel ⓘ type system of Eiffel ⓘ |
| standardizes | Eiffel programming language NERFINISHED ⓘ |
| status | published ⓘ |
| subjectOf | Eiffel language conformance discussions ⓘ |
| title | Information technology — Programming languages — Eiffel NERFINISHED ⓘ |
| usedFor |
ensuring Eiffel implementation interoperability
ⓘ
ensuring Eiffel language portability ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.