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
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
Gem #13: Interrupt Handling Idioms (Part 1)
Oct 08, 2007
Gem #12: Limited Types in Ada 2005 — <> Notation Part 2
Oct 01, 2007
Gem #11: Limited Types in Ada 2005 — Constructor Functions Part 2
Sep 24, 2007
Gem #10: Limited Types in Ada 2005 — Extended Return Statements
Sep 17, 2007
Gem #9: Classwide Operations, Iterators, and Generic Algorithms
Sep 10, 2007
Gem #8: Factory Functions
Jun 25, 2007
Gem #7: The Beauty of Numeric Literals in Ada
Jun 18, 2007