Properties (49)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
software
|
| gptkbp:compatibleWith |
multiple platforms
ISO_standards |
| gptkbp:enables |
concurrent programming
|
| gptkbp:facilitates |
software reliability
|
| https://www.w3.org/2000/01/rdf-schema#label |
Ada runtime
|
| gptkbp:includes |
exception handling
|
| gptkbp:is_designed_to |
safety-critical applications
reduce programming errors |
| gptkbp:is_known_for |
efficiency
high-level abstractions portability robustness strong typing maintainability concurrency control |
| gptkbp:is_part_of |
gptkb:Ada_202x_standard
Ada 2005 standard Ada_2012_standard Ada_95_standard Ada_programming_environment |
| gptkbp:is_recognized_for |
user-defined types
|
| gptkbp:is_supported_by |
various IDEs
|
| gptkbp:is_used_in |
defense systems
embedded systems industrial automation medical devices military applications real-time systems automotive systems control systems data acquisition systems simulation software telecommunications systems aerospace applications avionics systems financial systems space exploration missions robotics applications nuclear systems |
| gptkbp:offers |
memory management features
|
| gptkbp:produces |
AdaCore
|
| gptkbp:provides |
interfacing with C
real-time scheduling tasking features |
| gptkbp:supports |
gptkb:Ada_programming_language
generic programming modular programming distributed systems |