Statements (52)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
language
|
| gptkbp:designedFor |
safety-critical systems
|
| gptkbp:developedBy |
gptkb:ISO
|
| gptkbp:firstPublished |
1983
|
| gptkbp:has |
a focus on safety
a focus on efficiency a strong community support a comprehensive set of tools a focus on maintainability a focus on portability a focus on reliability a formal specification built-in support for real-time systems extensive standard library rich set of data types strong support for data abstraction |
| gptkbp:hasVersion |
gptkb:Ada_2012
|
| https://www.w3.org/2000/01/rdf-schema#label |
Ada standard
|
| gptkbp:includes |
exception handling
generic programming tasking features |
| gptkbp:influencedBy |
gptkb:Pascal
ALGOL |
| gptkbp:is |
high-level programming language
object-oriented programming language used in medical devices used in robotics used in embedded systems used in scientific computing used in telecommunications compiled language used in simulation software used in industrial automation imperative programming language used in financial systems used in transportation systems supported by various compilers concurrent programming language multi-paradigm programming language structured programming language suitable for large-scale software development used in educational environments part_of_the_Ada_programming_language_family |
| gptkbp:namedAfter |
gptkb:Ada_Lovelace
|
| gptkbp:promotes |
code readability
maintainability |
| gptkbp:supports |
concurrent programming
modular programming strong typing |
| gptkbp:usedIn |
real-time systems
aerospace applications defense applications |