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
Oct 15, 2012
Gem #134 : Erroneous Execution - Part 3
Sep 24, 2012
Gem #133 : Erroneous Execution - Part 2
Sep 10, 2012
Gem #132 : Erroneous Execution - Part 1
Aug 07, 2012
Gem #131 : Type-Safe Database API - Part 3
Jul 23, 2012
Gem #130 : Type-Safe Database API - Part 2
Jul 09, 2012
Gem #129 : Type-Safe Database API - Part 1
Jun 25, 2012
Gem #128 : Iterators in Ada 2012 - Part 2
Jun 11, 2012
Gem #127: Iterators in Ada 2012 - Part 1
May 28, 2012
Gem #126 : Aggregate Library Projects
May 14, 2012
Gem #125: Detecting infinite recursion with GDB's Python API
Apr 30, 2012
Gem #124 : Scripting GPS for Static Analysis
Apr 17, 2012