Statements (59)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
runtime environment
|
| gptkbp:compatibleWith |
gptkb:Ada_95
gptkb:Ada_2012 multiple platforms Ada 2005 |
| gptkbp:developedBy |
AdaCore
|
| gptkbp:documentedIn |
GNAT Reference Manual
|
| https://www.w3.org/2000/01/rdf-schema#label |
GNAT runtime
|
| gptkbp:includes |
GNAT.Float_IO package
GNAT.Integer_IO package GNAT.OS_Lib package GNAT.Soft_Links package GNAT.Text_IO_package |
| gptkbp:is_a_source_of |
true
|
| gptkbp:is_available_in |
gptkb:FreeBSD
Linux Windows macOS Solaris |
| gptkbp:is_designed_to |
secure applications
distributed systems high-performance applications networked applications safety-critical applications long-lived applications |
| gptkbp:is_part_of |
gptkb:GNAT_Community_Edition
gptkb:GNAT_Pro_Edition gptkb:GNAT_toolchain GNAT_Ada_compiler |
| gptkbp:is_recognized_for |
true
|
| gptkbp:is_used_in |
automotive applications
embedded systems mission-critical systems real-time systems scientific computing control systems simulation software system programming aerospace applications financial applications robotics applications telecommunications applications defense applications high-assurance systems |
| gptkbp:maintainedBy |
AdaCore
|
| gptkbp:provides |
exception handling
input/output facilities standard libraries memory management features debugging support real-time capabilities tasking support |
| gptkbp:supports |
gptkb:Ada_programming_language
concurrent programming dynamic memory allocation multi-threading interfacing with C interfacing with C++ |
| gptkbp:wrote |
Ada
|