Statements (17)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
compiler
|
| gptkbp:compatibleWith |
multiple platforms
|
| gptkbp:createdBy |
optimized code
|
| gptkbp:developedBy |
various organizations
|
| gptkbp:has |
static analysis tools
|
| https://www.w3.org/2000/01/rdf-schema#label |
Ada compiler
|
| gptkbp:is_known_for |
safety and reliability
|
| gptkbp:is_used_in |
telecommunications
automotive industry aerospace industry |
| gptkbp:provides |
exception handling
modular programming strong typing |
| gptkbp:supports |
gptkb:Ada_programming_language
concurrent programming |
| gptkbp:usedFor |
real-time systems
|
| gptkbp:usedIn |
defense applications
|