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
Oct 20, 2008
Gem #49: Safe and Secure Software: Chapter 10, Safe Concurrency
Oct 13, 2008
Gem #48: Extending Interfaces in Ada 2005
Oct 06, 2008
Gem #47: Safe and Secure Software : Chapter 9, Safe Communication
Sep 29, 2008
Gem #46: Incompatibilities between Ada 83 and Ada 95
Sep 22, 2008
Gem #45: Safe and Secure Software : Chapter 8, Safe Startup
Sep 15, 2008
Gem #44: Accessibility Checks (Part III)
Sep 08, 2008
Gem #43: Safe and Secure Software : Chapter 7, Safe Memory Management
Jul 07, 2008
Gem #42: Safe and Secure Software : Chapter 6, Safe Object Construction
Jun 30, 2008
Gem #41: Accessibility Checks (Part II: Ada2005)
Jun 16, 2008
Gem #40: Safe and Secure Software : Chapter 5, Safe Object Oriented Programming
Jun 09, 2008
Gem #39: Efficient Stream I/O for Array Types
Jun 02, 2008