Statements (51)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
runtime library
|
| gptkbp:developedBy |
AdaCore
|
| https://www.w3.org/2000/01/rdf-schema#label |
GNAT runtime library
|
| gptkbp:includes |
standard libraries
|
| gptkbp:isAvailableIn |
multiple platforms
LGPL license GPL license |
| gptkbp:isCompatibleWith |
POSIX standards
GNAT_compiler_versions |
| gptkbp:isDistributedBy |
gptkb:GNAT_toolchain
|
| gptkbp:isDocumentedIn |
GNAT_User's_Guide
|
| gptkbp:isFiledIn |
Ada
|
| gptkbp:isIntegratedWith |
GNAT_debugger
|
| gptkbp:isInvolvedIn |
SPARK
|
| gptkbp:isMaintainedBy |
AdaCore
|
| gptkbp:isOpenTo |
true
|
| gptkbp:isOptimizedFor |
performance
|
| gptkbp:isPartOf |
gptkb:GNAT_compiler
Ada 2005 standard Ada_2012_standard Ada_95_standard Ada_programming_environment |
| gptkbp:isSupportedBy |
gptkb:Ada_community
|
| gptkbp:isTestedFor |
GNAT test suite
|
| gptkbp:isUsedFor |
system programming
|
| gptkbp:isUsedIn |
cloud computing
automotive applications embedded systems industrial automation networking applications robotics control systems railway systems telecommunications systems aerospace applications financial systems safety-critical applications simulation systems defense applications medical systems |
| gptkbp:isUtilizedIn |
high-integrity systems
|
| gptkbp:language |
Ada
|
| gptkbp:provides |
data structures
exception handling memory management input/output operations task synchronization tasking support |
| gptkbp:supports |
concurrent programming
real-time systems multi-threading |