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
Sep 21, 2011
Gem #110: Ada Plug-ins and Shared Libraries — Part 2
Sep 05, 2011
Gem #109: Ada Plug-ins and Shared Libraries — Part 1
Jun 17, 2011
Gem #108: Gprbuild and Configuration Files — Part 2
Jun 06, 2011
Gem #107: Preventing Deallocation for Reference-counted Types
May 23, 2011
Gem #106: Lady Ada Kisses Python — Part 2
May 09, 2011
Gem #105: Lady Ada Kisses Python — Part 1
Apr 26, 2011
Gem #104: Gprbuild and Configuration Files — Part 1
Apr 11, 2011
Gem #103: Code Archetypes for Real-Time Programming — Part 5
Mar 28, 2011
Gem #102: SOAP/WSDL client part
Mar 14, 2011
Gem #101: SOAP/WSDL server part
Feb 28, 2011
Gem #100: Reference Counting in Ada - Part 3: Weak References
Feb 14, 2011