The AdaCore Blog
An Insight Into the AdaCore Ecosystem
Jul 28, 2026
Mark Hermeling
SPARK Doesn't Comply With MISRA C. It Makes Most of It Moot.
See how a rule-by-rule comparison of SPARK against MISRA C shows most hazards become moot by design, the rest proven or rejected by the compiler,…
Read More
Feb 25, 2008
Gem #26: The Mod Attribute
Feb 11, 2008
Gem #25: How to Search Text
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