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
Apr 21, 2008
Gem #32: Safe and Secure Software : Chapter 1, Safe Syntax
Apr 14, 2008
Gem #31: Preconditions/postconditions
Apr 08, 2008
Gem #30: Safe and Secure Software : Introduction
Mar 31, 2008
Gem #29: Introduction to the Ada Web Server (AWS)
Mar 17, 2008
Gem #28: Changing Data Representation (Part 2)
Mar 03, 2008
Gem #27: Changing Data Representation (Part 1)
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