Statements (63)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:C_programming_language
|
| gptkbp:designed_by |
gptkb:Jean_Ichbiah
|
| gptkbp:developed_by |
gptkb:United_States_Department_of_Defense
|
| gptkbp:file_extension |
.adb
.ads |
| gptkbp:first_appearance |
gptkb:1983
|
| gptkbp:has_feature |
high-level language
inheritance modular design polymorphism real-time systems tasking contract-based programming type safety iterators system programming high reliability data abstraction system-level programming task synchronization overloading concurrency support multi-threading support strong encapsulation exception handling mechanisms dynamic storage allocation interfacing with C protected types real-time scheduling distributed systems support exception propagation extensive standard library generic containers task attributes embedded systems support advanced debugging support formal verification support real-time tasking safety-critical systems support static and dynamic typing strongly typed containers |
| https://www.w3.org/2000/01/rdf-schema#label |
Ada Programming Language
|
| gptkbp:influenced |
gptkb:SPARK
|
| gptkbp:influenced_by |
gptkb:Pascal
|
| gptkbp:is_standardized_by |
gptkb:Ada_202x
gptkb:Ada_95 gptkb:Ada_2012 gptkb:Ada_2005 |
| gptkbp:named_after |
gptkb:Ada_Lovelace
|
| gptkbp:paradigm |
Multi-paradigm
|
| gptkbp:supports |
concurrent programming
exception handling generic programming modular programming object-oriented programming strong typing |
| gptkbp:used_in |
gptkb:transportation
aerospace defense automotive systems railway systems |
| gptkbp:bfsParent |
gptkb:ISO/_IEC_JTC1/_SC22
|
| gptkbp:bfsLayer |
6
|