Statements (59)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:C_programming_language
|
| gptkbp:designed_by |
gptkb:Jean_Ichbiah
|
| gptkbp:file_extension |
.adb
.ads |
| gptkbp:first_appearance |
gptkb:1983
|
| https://www.w3.org/2000/01/rdf-schema#label |
ADA Latin
|
| gptkbp:influenced |
gptkb:SPARK
|
| gptkbp:influenced_by |
gptkb:Pascal
|
| gptkbp:is_standardized_by |
gptkb:ISO/_IEC_8652
|
| gptkbp:notable_feature |
Maintainability
Readability Real-time systems Modularity Safety-critical systems Strong typing Tasking Garbage collection Concurrency support Exception handling Rich standard library Rich data types Support for high-performance computing Support for embedded systems Support for high-availability systems Support for distributed systems Low-level programming capabilities Support for safety-critical applications Interfacing with C Support for real-time systems Code contracts Extensive debugging support Support for high-integrity systems Design by contract Formal specification support Static and dynamic typing Strong modularity Support for high-capacity systems Support for high-density systems Support for high-performance systems Support for high-precision systems Support for high-reliability systems Support for high-security systems Support for high-speed systems Support for high-throughput systems Support for high-volume systems Support for large systems |
| gptkbp:operating_system |
Cross-platform
|
| gptkbp:paradigm |
Multi-paradigm
|
| gptkbp:supports |
Object-oriented programming
Generic programming Concurrent programming |
| gptkbp:system |
Strongly typed
|
| gptkbp:used_in |
gptkb:Telecommunications
gptkb:transportation gptkb:Defense Aerospace Finance |
| gptkbp:bfsParent |
gptkb:Alternative_Distribution_Alliance
|
| gptkbp:bfsLayer |
6
|