Technical Papers

Couverture paper presented at ERTS² 2010 »

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 »

Certification & Object Orientation: The New Ada Answer »

Ada 2005 Rationale – Epilogue »

Towards Certification of Object-Oriented Code with the GNAT Compiler »

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++ »

GNAT Pro for On-Board Mission-Critical Space Applications »

Ada 2005 Abstract Interfaces in GNAT »

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