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
Apr 19, 2010
Gem #84: The Distributed Systems Annex 1 - Simple client/server
Apr 05, 2010
Gem #83: Type-Based Security 2: Validating the Input
Mar 22, 2010
Gem #82: Type-Based Security 1: Handling Tainted Data
Mar 08, 2010
Gem #81: GNAT Semaphores
Feb 25, 2010
Gem #80: Speedy Shift and Rotate in SPARK
Feb 08, 2010
Gem #79: Where did my memory go? (Part 3)
Jan 25, 2010
Gem #78: Where did my memory go? (Part 2)
Jan 11, 2010
Gem #77: Where did my memory go? (Part 1)
Dec 14, 2009
Gem #76: Tokeneer Discovery - Lesson 6
Nov 30, 2009
Gem #75: Tokeneer Discovery - Lesson 5
Nov 16, 2009
Gem #74: Tokeneer Discovery - Lesson 4
Nov 02, 2009