Properties (61)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
historical figure
|
| gptkbp:availableIn |
AdaCore_website
|
| gptkbp:communitySupport |
active community
|
| gptkbp:compatibleWith |
C_and_C++
|
| gptkbp:developedBy |
AdaCore
|
| gptkbp:features |
static and dynamic analysis
|
| gptkbp:hasVersion |
varies by release
|
| gptkbp:historicalSignificance |
available online
|
| https://www.w3.org/2000/01/rdf-schema#label |
GNAT for MacOS
|
| gptkbp:installation |
binary distribution
|
| gptkbp:integratesWith |
gptkb:GNAT_Studio
|
| gptkbp:license |
GPL or proprietary
|
| gptkbp:platforms |
MacOS
|
| gptkbp:provides |
performance analysis
debugging tools error reporting build automation profiling tools memory management tools compiler optimizations |
| gptkbp:releaseDate |
varies by version
|
| gptkbp:supports |
gptkb:Ada_95
gptkb:Ada_2012 gptkb:Ada_derived_types gptkb:Ada_programming_language gptkb:Ada_protected_types gptkb:Ada_runtime gptkb:Ada_packages gptkb:Ada_streams gptkb:Ada_exceptions gptkb:Ada_containers gptkb:Ada_high-integrity_systems concurrent programming exception handling generic programming object-oriented programming unit testing Ada 2005 multi-threading code coverage cross-compilation source code analysis documentation generation interfacing with C Ada input/output Ada numerics Ada_202x Ada_generics Ada_interfaces Ada_attributes Ada_concurrency Ada_controlled_types Ada_finalization Ada_polymorphism Ada_real-time_systems Ada_safety-critical_systems Ada_software_engineering_principles Ada_task_attributes Ada_tasking |
| gptkbp:type |
compiler
|
| gptkbp:usedIn |
embedded systems
|