Statements (53)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
language
|
| gptkbp:compatibleWith |
gptkb:Ada_95
Ada 2005 |
| gptkbp:features |
improved type system
support for generic programming support for parallel programming support for concurrent programming support for functional programming support for object-oriented programming support for exception handling better support for contracts enhanced input/output improved tasking model new container types new numeric types support for dynamic memory management support for exception propagation support for modularity support for real-time programming support_for_Unicode |
| https://www.w3.org/2000/01/rdf-schema#label |
Ada 2012 standard library
|
| gptkbp:includes |
system
time tasking containers input/output facilities streams exceptions fixed_IO float_IO numerics random_IO text_IO |
| gptkbp:is_part_of |
gptkb:Ada_programming_language
|
| gptkbp:is_recognized_for |
various compilers
|
| gptkbp:is_used_in |
real-time systems
safety-critical systems transportation systems aerospace applications defense applications |
| gptkbp:provides |
iterators
complex types task control decimal types fixed-point types generic containers real types synchronized access |
| gptkbp:standardFeatures |
gptkb:ISO/IEC
|
| gptkbp:supports |
concurrent programming
exception handling generic programming modular programming |