Recent Papers
Browse by Technology
Dev Log Archives
Ada / Ada 2005 |
|
This section contains discussion of general language topics.
Recent development log entries
|
|||
|
Gem #51: Safe and Secure Software: Chapter 11, Certified Safe with SPARK |
|
||
View all Ada / Ada 2005 entries in Recent development log entries »
Technical Papers
|
Abstract Interface Types in GNAT: Conversions, Discriminants, and C++ |
|
||
|
Multi-Language Programming: The Challenge and Promise of Class-Level Interfacing |
|