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.
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
→
|
| languageVersion |
Ada 95
→
|
| publishedBy |
International Electrotechnical Commission
→
International Organization for Standardization → |
| revises |
original Ada language definition
→
|
| specifies |
Ada language reference manual
→
|
| standardFor |
Ada programming language
→
|
| successorOf |
MIL-STD-1815A (Ada)
→
|
| usedFor |
Ada compiler conformance testing
→
Ada compiler implementation → formal definition of Ada language behavior → |
Referenced by (1)
| Subject (surface form when different) | Predicate |
|---|---|
|
Ada (programming language)
→
|
standardName |