Blog
An Insight Into the AdaCore Ecosystem
Mar 03, 2026
Mark Hermeling
Formal Methods To Improve Code Quality
Memory safety is rightly a major focus in embedded systems. This article outlines the difference between static and dynamic memory safety, and how…
Read More
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
Gem #13: Interrupt Handling Idioms (Part 1)
Oct 08, 2007
Gem #12: Limited Types in Ada 2005 — <> Notation Part 2
Oct 01, 2007
Gem #11: Limited Types in Ada 2005 — Constructor Functions Part 2
Sep 24, 2007
Gem #10: Limited Types in Ada 2005 — Extended Return Statements
Sep 17, 2007