The AdaCore Blog
An Insight Into the AdaCore Ecosystem
Nov 12, 2026
Mark Hermeling
Using AI and formal methods to build software
AI-assisted development for high-integrity software: how formal methods, SPARK and deterministic verification keep humans accountable.
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