Closing the gender gap: Ada Developers Academy helps women learn programming skills for free by Taylor Soper on January 22, 2015 at 10:30 am Share ...

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 d… ...

AdaCore announced the start of its 4th annual “Make with Ada programming competition” with the goal to design and implement an embedded software project in which Ada or SPARK are the primary ...

AdaCore announces winners of the first annual Make with Ada competition, an initiative designed to foster the growth of Ada and SPARK for developing e ...

Check out some of the technical aspects of the Ada programming language, such as the Ravenscar profile.

About Ada and SPARK Ada is a modern, internationally standardized programming language with a long and successful track record in the development of high-reliability embedded systems.

Well-established programming languages are holding onto their spots in the TIOBE Index top 10.

High Reliability Software Applications that require high reliability are often require high levels of safety such as cars and planes. Programming languages like Ada, SPARK and Rust are designed to ...