Statements (33)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:C_programming_language
|
| gptkbp:based_on |
gptkb:Ada
|
| gptkbp:designed_by |
gptkb:Jean_Ichbiah
|
| gptkbp:features |
exception handling
generic programming modular programming tasking contract-based programming strong typing real-time systems support |
| gptkbp:first_appearance |
gptkb:2012
|
| https://www.w3.org/2000/01/rdf-schema#label |
Ada 2012
|
| gptkbp:is_implemented_in |
static analysis tools
development environments compilers debuggers integrated development environments (IDEs) |
| gptkbp:is_standardized_by |
gptkb:ISO
|
| gptkbp:predecessor |
gptkb:Ada_202x
|
| gptkbp:related_to |
gptkb:Ada_programming_language
embedded systems safety-critical systems software engineering high-integrity systems |
| gptkbp:successor |
gptkb:Ada_2005
|
| gptkbp:supports |
concurrent programming
object-oriented programming real-time systems |
| gptkbp:used_in |
gptkb:civil_aviation
gptkb:military_defense transportation systems |
| gptkbp:bfsParent |
gptkb:Ada_programming_language
|
| gptkbp:bfsLayer |
4
|