ECMA-367
E440615
ECMA-367 is the official international standard that defines the syntax and semantics of the Eiffel programming language.
All labels observed (1)
| Label | Occurrences |
|---|---|
| ECMA-367 canonical | 1 |
Statements (47)
| Predicate | Object |
|---|---|
| instanceOf |
ECMA standard
ⓘ
Eiffel standard ⓘ programming language standard ⓘ |
| alsoKnownAs | Eiffel: Analysis, Design and Programming Language NERFINISHED ⓘ |
| category | programming language specification ⓘ |
| conformsTo | general ECMA standardization rules ⓘ |
| defines |
Eiffel concurrency semantics
ⓘ
Eiffel contract semantics ⓘ Eiffel exception semantics ⓘ Eiffel execution semantics ⓘ Eiffel genericity semantics ⓘ Eiffel inheritance semantics ⓘ Eiffel lexical structure ⓘ Eiffel parsing rules ⓘ semantics of the Eiffel programming language ⓘ syntax of the Eiffel programming language ⓘ |
| governs |
Eiffel SCOOP concurrency behavior
ⓘ
Eiffel assertion checking behavior ⓘ Eiffel exception propagation behavior ⓘ Eiffel feature visibility rules ⓘ Eiffel generic parameter constraints ⓘ Eiffel inheritance conflict resolution ⓘ Eiffel program structure ⓘ |
| hasFormat |
PDF
ⓘ
printable document ⓘ |
| hasScope |
Eiffel libraries (partially, via referenced specifications)
ⓘ
core Eiffel language ⓘ |
| language | English ⓘ |
| publishedBy | Ecma International NERFINISHED ⓘ |
| relatedTo |
Design by Contract
NERFINISHED
ⓘ
Eiffel programming language NERFINISHED ⓘ object-oriented programming ⓘ |
| specifies |
Eiffel assertions and contracts
ⓘ
Eiffel class structure ⓘ Eiffel concurrency model (SCOOP, in later editions) NERFINISHED ⓘ Eiffel exception handling ⓘ Eiffel genericity mechanisms ⓘ Eiffel inheritance mechanisms ⓘ Eiffel type system ⓘ |
| standardizes | Eiffel programming language NERFINISHED ⓘ |
| standardType | international standard ⓘ |
| subject | Eiffel programming language NERFINISHED ⓘ |
| targetAudience |
Eiffel compiler implementers
ⓘ
Eiffel tool developers ⓘ advanced Eiffel programmers ⓘ |
| usedFor |
ensuring interoperability between Eiffel implementations
ⓘ
serving as a reference for Eiffel language design ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.