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
Feb 04, 2014
Gem #156: Listing Control in GNAT
Dec 09, 2013
Gem #155: Enhancing the GPRBuild Database for a New Language
Oct 28, 2013
Gem #154: Multicore Maze Solving, Part 2
Oct 09, 2013
Gem #153: Multicore Maze Solving, Part 1
Sep 23, 2013
Gem #152 : Defining a New Language in a Project File
Jul 01, 2013
Gem #151 : Specifying Mathematical Properties of Programs
Jun 17, 2013
Gem #150: Out and Uninitialized
Jun 03, 2013
Gem #149 : Asserting the truth, but (possibly) not the whole truth
May 20, 2013
Gem #148 : Su(per)btypes in Ada 2012 - Part 3
May 06, 2013
Gem #147 : Su(per)btypes in Ada 2012 - Part 2
Apr 22, 2013
Gem #146 : Su(per)btypes in Ada 2012 - Part 1
Apr 08, 2013