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
Nov 26, 2012
Gem #137: Ada Quiz 2 - An Heir and a Spare?
Nov 12, 2012
Gem #136: How tall is a kilogram?
Oct 29, 2012
Gem #135 : Erroneous Execution - Part 4
Oct 15, 2012
Gem #134 : Erroneous Execution - Part 3
Sep 24, 2012
Gem #133 : Erroneous Execution - Part 2
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