• GNAT Pro
• Ada Answers
• Developers
• Academia
• Company

• 
• 
• 

Recent 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
  
• The Implementation of Ada 2005 Interface Types in the GNAT Compiler
  
• Safety, Security, and Object-Oriented Programming
  

Browse by Technology

• Ada / Ada 2005
• ASIS
• AWS
• GNAT Compilation System
• GPS
• GtkAda
• PolyORB
• XML/Ada

Dev Log Archives

• May 2008
• April 2008
• March 2008
• February 2008
• January 2008
• December 2007
• November 2007
• October 2007
• September 2007
• August 2007
• July 2007
• June 2007
• May 2007
• April 2007
• March 2007
• February 2007
• January 2007
• December 2006
• November 2006
• October 2006
• September 2006
• August 2006
• July 2006
• June 2006
• May 2006
• April 2006
• March 2006
• February 2006
• January 2006
• December 2005
• November 2005
• October 2005
• September 2005
• August 2005
• July 2005
• June 2005
• May 2005
• April 2005
• March 2005
• February 2005
• January 2005
• December 2004
• November 2004
• October 2004
• September 2004
• August 2004
• July 2004
• June 2004
• May 2004
• April 2004
• March 2004
• February 2004
• January 2004

High-Integrity edition examples

Thursday January 26, 2006

Download those code sample to discover the GNAT Pro compilation system on high-integrity platforms.

43.9Kb

Posted in Code Samples, GNAT Compilation System