Statements (50)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
software
|
| gptkbp:developedBy |
AdaCore
|
| gptkbp:hasAmenities |
tutorials
API reference user manual installation guide |
| gptkbp:hasVersion |
2023.0
2022.1 2020.3 2021.2 |
| https://www.w3.org/2000/01/rdf-schema#label |
GNAT Studio
|
| gptkbp:includes |
gptkb:GNATbench
gptkb:GNAT_compiler |
| gptkbp:isAvailableIn |
Linux
Windows macOS |
| gptkbp:isCompatibleWith |
gptkb:GNAT_GPS
GNAT.Spark GNAT.C |
| gptkbp:isKnownFor |
exception handling
strong typing high reliability concurrent programming support safety-critical applications real-time performance generic programming support interfacing with C modular programming support object-oriented programming support |
| gptkbp:isPartOf |
Ada_programming_ecosystem
GNAT_toolset |
| gptkbp:isPromotedBy |
AdaCore
Ada_programming_advocates |
| gptkbp:isSupportedBy |
gptkb:Ada_community
Ada_programming_standards |
| gptkbp:isUsedBy |
students
researchers software engineers |
| gptkbp:isUsedIn |
embedded systems
real-time systems software development |
| gptkbp:offers |
code completion
syntax highlighting refactoring tools static analysis |
| gptkbp:provides |
code editing features
debugging tools project management capabilities |
| gptkbp:supports |
gptkb:Ada_programming_language
cross-platform development |