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
Jan 31, 2011
Gem #98: High Performance Multi-core Programming - Part 2
Jan 17, 2011
Gem #97: Reference Counting in Ada - Part 1
Dec 06, 2010
Gem #96: Code Archetypes for Real-Time Programming - Part 4
Nov 22, 2010
Gem #95: Dynamic Stack Analysis in GNAT
Nov 08, 2010
Gem #94: Code Archetypes for Real-Time Programming - Part 3
Oct 25, 2010
Gem #93: High Performance Multi-core Programming - Part 1
Oct 11, 2010
Gem #92: Code Archetypes for Real-Time Programming - Part 2
Sep 27, 2010
Gem #91: Smart Completion (Part 2 of 2)
Sep 14, 2010
Gem #90: The Distributed Systems Annex, Part 4 — DSA and C
Jun 22, 2010
Gem #89: Code Archetypes for Real-Time Programming - Part 1
Jun 14, 2010
Gem #88: GPS - Smart Completion (Part 1 of 2)
Jun 02, 2010