• High-Integrity Object-Oriented Programming in Ada »
  GNAT Pro | Runtime Profiles | GNATcheck | SPARK Pro | GNATstack | Ada | Certification | Safety-Critical Development
• Towards Certification of Object-Oriented Code with the GNAT Compiler »
  GNAT Pro | Ada Compiler | Runtime Profiles | Ada 2005 / 95 / 83 | Certification | Safety-Critical Development
• Coverage and Free Software »
  GNAT Pro | GNATcoverage | GNATemulator | Certification | Open Source | Safety-Critical Development
• Abstract Interface Types in GNAT: Conversions, Discriminants, and C++ »
  GNAT Pro | Ada Compiler | Ada 2005 / 95 / 83 | Mixed Language
• Multi-Language Programming: The Challenge and Promise of Class-Level Interfacing »
  GNAT Pro | Ada Compiler | Ada 2005 / 95 / 83 | Mixed Language | Open Source
• Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada »
  GNAT Pro | Ada Compiler | Ada 2005 / 95 / 83 | Certification | Safety-Critical Development
• The Implementation of Ada 2005 Interface Types in the GNAT Compiler »
  GNAT Pro | Ada Compiler | Ada 2005 / 95 / 83 | Mixed Language
• GNAT and Ada 2005 »
  GNAT Pro | Ada 2005 / 95 / 83
• Ada 2005 for High-Integrity Systems »
  GNAT Pro | Runtime Profiles | Ada 2005 / 95 / 83 | Certification | Embedded Development | Safety-Critical Development
• The Implementation of Ada 2005 Synchronized Interfaces in the GNAT Compiler »
  GNAT Pro | Ada Compiler | Ada 2005 / 95 / 83
• Mission-Critical On-Board Software Using the Ada 95 Ravenscar Profile »
  GNAT Pro | Ada Compiler | Runtime Profiles | Ada 2005 / 95 / 83 | Embedded Development | Safety-Critical Development
• The ESA Ravenscar Benchmark »
  GNAT Pro | Ada Compiler | Runtime Profiles | Ada 2005 / 95 / 83 | Embedded Development | Safety-Critical Development
• Abstract Interface Types in GNAT: Conversions, Discriminants, and C++ »
  GNAT Pro | Ada Compiler | Ada 2005 / 95 / 83 | Mixed Language
• GNAT Pro for On-Board Mission-Critical Space Applications »
  GNAT Pro | Ada Compiler | Runtime Profiles | Ada 2005 / 95 / 83 | Safety-Critical Development | Static Analysis
• Dynamic Plug-in Loading with Ada »
  GNAT Pro | Ada Compiler | Utilities | Runtime Profiles | Ada 2005 / 95 / 83 | Certification | Mixed Language | Safety-Critical Development
• Ada 2005 Abstract Interfaces in GNAT »
  GNAT Pro | Ada Compiler | Ada 2005 / 95 / 83
• Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada »
  GNAT Pro | Ada Compiler | Libraries and Bindings | Ada 2005 / 95 / 83
• High-Integrity Systems Development for Integrated Modular Avionics using VxWorks and GNAT »
  GNAT Pro | Ada Compiler | Runtime Profiles | Ada 2005 / 95 / 83 | Certification | Embedded Development | Safety-Critical Development
• Quality Control in a Multi-Platform Multi-Product Software Company »
  GNAT Pro | Ada 2005 / 95 / 83 | Embedded Development | Open Source
• The GNAT Implementation of Controlled Types »
  GNAT Pro | Ada Compiler | Ada 2005 / 95 / 83
• GtkAda: Design and Implementation of a High Level Binding in Ada »
  GNAT Pro | Libraries and Bindings | GtkAda | Ada 2005 / 95 / 83 | GUI Development | Libraries and Bindings