Ada and SPARK have typically been used for applications that require high levels of safety, reliability and security. These articles take a look at different aspects of the Ada programming langauge ...

In the previous article we looked at designing a lock-free ring buffer (LFRB) in Ada, contrasting and comparing it with the C++-based version which it is based on, and highlighting the Ada way of ...

Especially within the world of multi-threaded programming does atomic access become a crucial topic, as multiple execution contexts may seek to access the same memory locations at the same time. Yet ...