The AdaCore Blog
An Insight Into the AdaCore Ecosystem
Aug 11, 2026
Claire Dross
Multiple Levels of Models and Refinement
See how layered abstraction bridges specs and arrays in SPARKlib's hashed set implementation.
Read More
Sep 10, 2012
Gem #132 : Erroneous Execution - Part 1
Aug 07, 2012
Gem #131 : Type-Safe Database API - Part 3
Jul 23, 2012
Gem #130 : Type-Safe Database API - Part 2
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