Properties (46)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
document
|
| gptkbp:contains |
semantics
syntax rules standard libraries |
| gptkbp:description |
gptkb:Ada_programming_language
|
| gptkbp:firstClaim |
2012
|
| gptkbp:firstPublished |
1983
|
| gptkbp:hasSections |
introduction
standard libraries language reference annexes |
| https://www.w3.org/2000/01/rdf-schema#label |
Ada Reference Manual
|
| gptkbp:isAvailableIn |
HTML format
PDF format free download purchase in print |
| gptkbp:isCitedBy |
academic papers
software documentation |
| gptkbp:isConsidered |
formal specification
reference guide programming standard |
| gptkbp:isFiledIn |
English
|
| gptkbp:isInfluencedBy |
gptkb:Pascal_programming_language
C programming language ALGOL programming language |
| gptkbp:isMaintainedBy |
gptkb:Ada_Rapport_Group
|
| gptkbp:isPartOf |
gptkb:Ada_standard
Ada_programming_environment |
| gptkbp:isReferencedIn |
technical documentation
software engineering textbooks programming language courses |
| gptkbp:isRelatedTo |
embedded systems
real-time systems safety-critical systems |
| gptkbp:isSupportedBy |
gptkb:Ada_compilers
development tools |
| gptkbp:isUpdatedBy |
revisions
|
| gptkbp:isUsedBy |
educational institutions
government agencies software companies |
| gptkbp:isUsedIn |
transportation systems
aerospace applications defense applications |
| gptkbp:provides |
guidelines for programming
|
| gptkbp:publishedBy |
gptkb:ISO
|
| gptkbp:usedFor |
software development
|