ISO/IEC 8652
E48529
ISO/IEC 8652 is the international standard that formally defines the Ada programming language, including its syntax, semantics, and core features.
All labels observed (2)
| Label | Occurrences |
|---|---|
| ISO/IEC 8652 canonical | 5 |
| ISO/IEC 8652 (Ada language standard) | 1 |
Statements (45)
| Predicate | Object |
|---|---|
| instanceOf |
international standard
ⓘ
programming language standard ⓘ |
| appliesTo |
embedded systems programming in Ada
ⓘ
safety-critical software development with Ada ⓘ |
| conformsTo | ISO/IEC standardization rules ⓘ |
| contains |
dynamic semantics for Ada
ⓘ
lexical rules for Ada ⓘ static semantics for Ada ⓘ |
| countryScope | international ⓘ |
| covers |
concurrency features of Ada
ⓘ
exception handling in Ada ⓘ generic units in Ada ⓘ object-oriented features of Ada ⓘ packages in Ada ⓘ real-time programming features of Ada ⓘ tasking features of Ada ⓘ type system of Ada ⓘ |
| defines |
Ada compilation units
ⓘ
core features of the Ada programming language ⓘ exception propagation rules in Ada ⓘ generic instantiation rules in Ada ⓘ library-level program structure in Ada ⓘ overloading rules in Ada ⓘ semantics of the Ada programming language ⓘ standard predefined environment for Ada ⓘ subtype and type rules in Ada ⓘ syntax of the Ada programming language ⓘ tasking and synchronization semantics in Ada ⓘ visibility rules in Ada ⓘ |
| ensures | interoperability of Ada implementations ⓘ |
| field |
programming languages
ⓘ
software engineering ⓘ |
| governs | portable Ada program behavior ⓘ |
| jointTechnicalCommittee | ISO/IEC JTC 1 ⓘ |
| languageName |
Ada (programming language)
ⓘ
surface form:
Ada
|
| languageVersion |
Ada (programming language)
ⓘ
surface form:
Ada 95
|
| publishedBy |
International Electrotechnical Commission
ⓘ
International Organization for Standardization ⓘ |
| revises | original Ada language definition ⓘ |
| specifies |
Ada (programming language)
ⓘ
surface form:
Ada language reference manual
|
| standardFor |
Ada (programming language)
ⓘ
surface form:
Ada programming language
|
| successorOf |
Ada (programming language)
ⓘ
surface form:
MIL-STD-1815A (Ada)
|
| usedFor |
Ada compiler conformance testing
ⓘ
Ada compiler implementation ⓘ formal definition of Ada language behavior ⓘ |
Referenced by (6)
Full triples — surface form annotated when it differs from this entity's canonical label.
this entity surface form:
ISO/IEC 8652 (Ada language standard)