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
Jul 09, 2012
Gem #129 : Type-Safe Database API - Part 1
Jun 25, 2012
Gem #128 : Iterators in Ada 2012 - Part 2
Jun 11, 2012
Gem #127: Iterators in Ada 2012 - Part 1
May 28, 2012
Gem #126 : Aggregate Library Projects
May 14, 2012
Gem #125: Detecting infinite recursion with GDB's Python API
Apr 30, 2012
Gem #124 : Scripting GPS for Static Analysis
Apr 17, 2012
Gem #123: Implicit Dereferencing in Ada 2012
Apr 10, 2012
Gem #122: Breakpoint Commands — Part 2
Mar 12, 2012
Gem #121 Breakpoint Commands — Part 1
Mar 12, 2012
Gem #120 : GDB Scripting — Part 2
Feb 27, 2012
Gem #119 : GDB Scripting— Part 1
Feb 13, 2012