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
Jan 28, 2008
Gem #24: Null Considered Harmful (Part 2—Efficiency)
Jan 14, 2008
Gem #23: Null Considered Harmful
Dec 17, 2007
Gem #22: Ada Speaks Many Languages
Dec 10, 2007
Gem #21: How to parse an XML text
Dec 03, 2007
Gem #20: Using pragma Shared_Passive for data persistence
Nov 26, 2007
Gem #19: XML streaming of Ada objects
Nov 19, 2007
Gem #18: Warnings in GNAT
Nov 12, 2007
Gem #17: Pragma No_Return, Part 2 (functions)
Nov 05, 2007
Gem #16: Pragma No_Return
Oct 29, 2007
Gem #15: Timers
Oct 22, 2007
Gem #14: Interrupt Handling Idioms (Part 2)
Oct 15, 2007