Properties (54)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
compiler
|
| gptkbp:developedBy |
various organizations
|
| gptkbp:examples |
gptkb:Green_Hills_Ada_Compiler
gptkb:Rational_Ada gptkb:Aonix_ObjectAda gptkb:AdaMagic gptkb:GNAT Altran Ada Compiler |
| gptkbp:features |
generic programming
library management modular programming object-oriented programming tasking version control integration strong typing IDE support code optimization profiling tools source-level debugging multi-platform support code generation documentation generation standard libraries debugging support support for embedded systems interfacing with C real-time systems support support for distributed systems support for high-integrity systems support for system programming unit testing support cross-compilation support support for cloud computing support for mobile applications support for network programming runtime error detection support for concurrency support for database programming support for web programming linking support support for formal verification support for graphical user interfaces support for hardware interfacing support for real-time scheduling support for safety standards support for task priorities support for time-critical applications |
| https://www.w3.org/2000/01/rdf-schema#label |
Ada compilers
|
| gptkbp:provides |
exception handling
concurrent programming support static type checking |
| gptkbp:supports |
gptkb:Ada_programming_language
|
| gptkbp:usedIn |
real-time systems
safety-critical systems |