Technical Papers

Abstract Interface Types in GNAT: Conversions, Discriminants, and C++

Multi-Language Programming: The Challenge and Promise of Class-Level Interfacing

Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada

Safety, Security, and Object-Oriented Programming

Certification & Object Orientation: The New Ada Answer

Coverage and Free Software

The Implementation of Ada 2005 Interface Types in the GNAT Compiler

The Implementation of Ada 2005 Synchronized Interfaces in the GNAT Compiler

Compile-time stack requirements analysis with GCC

Abstract Interface Types in GNAT: Conversions, Discriminants, and C++

GtkAda: Design and Implementation of a High Level Binding in Ada