Statements (53)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:C_programming_language
|
| gptkbp:based_on |
gptkb:Ada_programming_language
|
| gptkbp:designed_by |
gptkb:Jean_Ichbiah
|
| gptkbp:developed_by |
gptkb:Ada_Core_Technologies
|
| gptkbp:features |
exception handling
generic programming modular programming tasking contract-based programming strong typing real-time systems support |
| gptkbp:first_appearance |
202x
|
| gptkbp:has_function |
gptkb:C_programming_language
C++ programming language Pascal programming language |
| https://www.w3.org/2000/01/rdf-schema#label |
Ada 202x
|
| gptkbp:is_standardized_by |
gptkb:ISO
|
| gptkbp:is_targeted_at |
safety-critical systems
|
| gptkbp:library |
Ada Standard Library
Ada. Calendar Ada. Containers Ada. Exceptions Ada. Float_ Text_ IO Ada. Integer_ Text_ IO Ada. Numerics Ada. Streams Ada. Strings Ada. Text_ IO Ada. Unchecked_ Conversion Ada. Wide_ Character_ Calendar Ada. Wide_ Character_ Containers Ada. Wide_ Character_ Exceptions Ada. Wide_ Character_ IO Ada. Wide_ Character_ Numerics Ada. Wide_ Character_ Streams Ada. Wide_ Character_ Strings Ada. Wide_ Character_ Text_ IO Ada. Wide_ String_ IO Ada. Wide_ Text_ IO GNAT. Sockets Ada. IO_ Exceptions |
| gptkbp:successor |
gptkb:Ada_2012
|
| gptkbp:supports |
concurrent programming
object-oriented programming distributed systems multi-threading |
| gptkbp:used_in |
gptkb:civil_aviation
gptkb:automotive_industry gptkb:military_defense real-time systems railway systems |
| gptkbp:bfsParent |
gptkb:Ada_2012
|
| gptkbp:bfsLayer |
5
|