Technical Papers

A principled approach to software engineering

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

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