Statements (63)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
programming model
|
| gptkbp:allows |
code reuse
|
| gptkbp:associated_with |
Ada 2005 standard
|
| gptkbp:basedOn |
gptkb:Ada_programming_language
|
| gptkbp:compatibleWith |
concurrent programming
|
| gptkbp:enables |
parameterized types
|
| gptkbp:enhances |
modularity
|
| gptkbp:facilitates |
abstraction
|
| https://www.w3.org/2000/01/rdf-schema#label |
Ada generic model
|
| gptkbp:influenced |
object-oriented programming principles
|
| gptkbp:introduced |
1983
|
| gptkbp:is_characterized_by |
strong typing
strong encapsulation static type checking strong modularity |
| gptkbp:is_designed_to |
facilitate collaboration
software engineering enhance readability reduce code duplication support software reuse |
| gptkbp:is_known_for |
reliability
robustness extensive documentation extensive standard libraries strong concurrency support |
| gptkbp:is_part_of |
Ada_2012_standard
Ada_95_standard Ada_programming_ecosystem Ada_programming_environment Ada_programming_language_family |
| gptkbp:is_recognized_for |
high performance
high-level abstraction high reliability flexibility in design real-time operating systems clear syntax compilers_for_Ada |
| gptkbp:is_used_in |
automotive applications
embedded systems medical devices networking applications real-time systems aerospace industry simulation software telecommunications systems financial systems robotics applications defense applications |
| gptkbp:produces |
gptkb:Jean_Ichbiah
|
| gptkbp:promotes |
software maintainability
|
| gptkbp:provides |
exception handling
type safety |
| gptkbp:suitableFor |
distributed systems
safety-critical systems large-scale systems mission-critical applications system-level programming |
| gptkbp:supports |
generic programming
polymorphism generic algorithms generic data structures generic interfaces generic packages |