Statements (57)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
software
|
| gptkbp:developedBy |
AdaCore
|
| gptkbp:firstPublished |
1995
|
| https://www.w3.org/2000/01/rdf-schema#label |
GNAT toolchain
|
| gptkbp:includes |
gptkb:GNAT_compiler
GNAT_debugger GNAT_programming_environment |
| gptkbp:integratesWith |
GNAT.Src
GNAT.GDB GNAT.Tracker |
| gptkbp:language |
Ada
|
| gptkbp:provides |
debugging capabilities
documentation tools exception handling performance analysis tools static analysis tools runtime support profiling tools build automation tools code generation memory management tools code coverage tools generic programming support interfacing with C tasking support unit testing framework dependency management tools interfacing with C++ interfacing with Python real-time programming support interfacing_with_Java |
| gptkbp:publishedIn |
Ada
|
| gptkbp:releaseDate |
gptkb:GNU_General_Public_License
|
| gptkbp:supports |
gptkb:Ada_95
gptkb:Ada_2012 gptkb:Ada_83 gptkb:Ada_tasking_model gptkb:Ada_2012_standard_library concurrent programming multiple architectures object-oriented programming Ada 2005 multiple operating systems cross-compilation Ada_concurrency_model Ada_language_standards |
| gptkbp:usedBy |
government agencies
automotive industry aerospace industry defense industry |
| gptkbp:usedFor |
embedded systems development
high-integrity systems |
| gptkbp:usedIn |
medical devices
railway systems safety-critical systems telecommunications industry nuclear systems |