Statements (60)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:language
|
| gptkbp:bfsLayer |
3
|
| gptkbp:bfsParent |
gptkb:Ada
|
| gptkbp:based_on |
gptkb:Ada
|
| gptkbp:designed_by |
gptkb:Jean_Ichbiah
|
| gptkbp:developed_by |
gptkb:Ada_Joint_Program_Office
|
| gptkbp:features |
exception handling
generic programming modular programming tasking type safety |
| gptkbp:first_appearance |
gptkb:2005
|
| gptkbp:has_feature |
inheritance
polymorphism contract-based programming user-defined types memory management attributes packages data abstraction input/output facilities system-level programming data encapsulation concurrency control task synchronization overloading formal specification debugging support type definitions runtime checks compile-time checks interfacing with C protected types tasking model real-time scheduling type extension distributed systems support exception handlers exception propagation generic containers subprograms system programming capabilities task attributes static and dynamic checking visibility control |
| https://www.w3.org/2000/01/rdf-schema#label |
Ada 2005
|
| gptkbp:is_standardized_by |
gptkb:ISO
|
| gptkbp:is_used_by |
gptkb:US_Department_of_Defense
gptkb:NASA |
| gptkbp:predecessor |
gptkb:Ada_2012
|
| gptkbp:successor |
gptkb:Ada_95
|
| gptkbp:supports |
concurrent programming
embedded systems object-oriented programming real-time systems strong typing high-integrity systems |
| gptkbp:used_in |
gptkb:rocket
real-time systems aerospace applications |