The AdaCore Blog
An Insight Into the AdaCore Ecosystem
May 28, 2026
Claire Dross
Information Hiding and Context Management in SPARK
A previous blog explored the verification of the formal hashed sets package in SPARKlib. This post will explain the techniques used to simplify the…
Read More
May 03, 2010
Gem #85:The Distributed Systems Annex 2 — Distributed Objects
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