Blog
An Insight Into the AdaCore Ecosystem
Apr 30, 2026
Claire Dross
Reasoning about Linked Structures in an Array
Reasoning about linked data structures within an array is complicated, requiring high-level concepts such as reachability and inductive reasoning.…
Read More
Sep 07, 2009
Gem #69: Let's SPARK! — Part 2
Jun 29, 2009
Gem #68: Let's SPARK! — Part 1
Jun 15, 2009
Gem #67: Managing the GPS Workspace
Jun 01, 2009
Gem #66: GPS's Key Shortcuts Editor
May 18, 2009
Gem #65: gprbuild
May 04, 2009
Gem #64: Handling Multiple-Unit Source Files
Apr 21, 2009
Gem #63: The Effect of Pragma Suppress
Apr 06, 2009
Gem #62: C++ constructors and Ada 2005
Mar 23, 2009
Gem #61: Interfacing with C++ constructors
Mar 09, 2009
Gem #60: Generating Ada bindings for C++ headers
Feb 23, 2009
Gem #59: Generating Ada bindings for C headers
Feb 09, 2009