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 2005.

This week's Gem

Ada Gem of the week is on vacation until September 2010. »


Previous weeks

Gem #89: Code Archetypes for Real-Time Programming – Part 1 »

Gem #88: GPS – Smart Completion (Part 1 of 2) »

Gem #87: The Distributed Systems Annex, Part 3 — Mailboxes »

application/x-gzip
2.3Kb
 

Gem #86: Ada Quiz 1 – Basic Types »

Gem #85:The Distributed Systems Annex 2 — Distributed Objects »

Gem #84: The Distributed Systems Annex 1 – Simple client/server »

Gem #83: Type-Based Security 2: Validating the Input »

Gem #82: Type-Based Security 1: Handling Tainted Data »

Gem #81: GNAT Semaphores »

Gem #80: Speedy Shift and Rotate in SPARK »

Gem #79: Where did my memory go? (Part 3) »

Gem #78: Where did my memory go? (Part 2) »

Gem #77: Where did my memory go? (Part 1) »

Gem #76: Tokeneer Discovery – Lesson 6 »

Gem #75: Tokeneer Discovery – Lesson 5 »

Gem #74: Tokeneer Discovery – Lesson 4 »

Gem #73: Tokeneer Discovery – Lesson 3 »

Gem #72: Tokeneer Discovery – Lesson 2 »

Gem #71: Tokeneer Discovery – Lesson 1 »

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