Home | Contact | Pricing | News | Events | Partners | Mailing List | Site Map
Gnat Pro. Powerful tools. Frontline Support. Ada expertise. rss feed

Ada Gem of the Week

AdaCore presents “Ada Gems”: expert tips and insights that will help you get the most out of Ada.

Previous weeks

Gem #70: The Scope Locks Idiom »

Gem #69: Let’s SPARK! – Part 2 »

Gem #68: Let’s SPARK! – Part 1 »

Gem #67: Managing the GPS Workspace »

Gem #66: GPS’s Key Shortcuts Editor »

Gem #65: gprbuild »

Gem #64: Handling Multiple-Unit Source Files »

Gem #63: The Effect of Pragma Suppress »

Gem #62: C++ constructors and Ada 2005 »

Gem #61: Interfacing with C++ constructors »

Gem #60: Generating Ada bindings for C++ headers »

Gem #59: Generating Ada bindings for C headers »

Gem #58: Ada / Java exception handling »

Gem #57: Ada / Java cross dispatching »

Gem #56: Creating Ada to Java calls using GNAT-AJIS »

Gem #55: Introduction to Ada / Java Interfacing »

Gem #54: Scripting Capabilities in GNAT (Part 2) »

Gem #53: Safe and Secure Software: Chapter 12: Conclusion »

application/pdf
652.5Kb
 

Gem #52: Scripting Capabilities in GNAT (Part 1) »

Gem #51: Safe and Secure Software: Chapter 11, Certified Safe with SPARK »

application/pdf
690.4Kb
 

Gem #50: Overload Resolution »

Gem #49: Safe and Secure Software: Chapter 10, Safe Concurrency »

application/pdf
724.8Kb
 

Gem #48: Extending Interfaces in Ada 2005 »

Gem #47: Safe and Secure Software : Chapter 9, Safe Communication »

application/pdf
672.1Kb
 

Gem #46: Incompatibilities between Ada 83 and Ada 95 »

Gem #45: Safe and Secure Software : Chapter 8, Safe Startup »

application/pdf
657.8Kb
 

Gem #44: Accessibility Checks (Part III) »

Gem #43: Safe and Secure Software : Chapter 7, Safe Memory Management »

application/pdf
700.7Kb
 

Gem #42: Safe and Secure Software : Chapter 6, Safe Object Construction »

application/pdf
702.0Kb
 

Gem #41: Accessibility Checks (Part II: Ada2005) »

Gem #40: Safe and Secure Software : Chapter 5, Safe Object Oriented Programming »

application/pdf
722.4Kb
 

Gem #39: Efficient Stream I/O for Array Types »

Gem #38: Safe and Secure Software : Chapter 4, Safe Architecture »

application/pdf
707.5Kb
 

Gem #37: Bounded Buffer package in GNAT Hierarchy (Part 2) »

Gem #36: Safe and Secure Software : Chapter 3, Safe Pointers »

application/pdf
721.0Kb
 

Gem #35: Bounded buffer package in GNAT hierarchy (Part 1) »

application/x-ada-source
1.3Kb
 

Gem #34: Safe and Secure Software : Chapter 2, Safe Typing »

application/pdf
699.7Kb
 

Gem #33: Accessibility Checks (Part I: Ada95) »

Gem #32: Safe and Secure Software : Chapter 1, Safe Syntax »

application/pdf
608.2Kb
 

Gem #31: Preconditions/postconditions »

application/x-ada-source
682b
 

Gem #30: Safe and Secure Software : Introduction »

application/pdf
673.3Kb
 

Gem #29: Introduction to the Ada Web Server (AWS) »

application/zip
3.3Kb
 

Gem #28: Changing Data Representation (Part 2) »

Gem #27: Changing Data Representation (Part 1) »

Gem #26: The Mod Attribute »

application/x-ada-source
3.6Kb
 

Gem #25: How to Search Text »

Gem #24: Null Considered Harmful (Part 2 — Efficiency) »

application/x-ada-source
5.0Kb
 

Gem #23: Null Considered Harmful »

application/x-ada-source
4.3Kb
 

Gem #22: Ada Speaks Many Languages »

application/x-ada-source
5.9Kb
application/x-ada-source
3.7Kb
application/x-ada-source
5.5Kb
application/x-ada-source
4.6Kb
application/x-ada-source
3.0Kb
 

Gem #21: How to parse an XML text »