I’ve been a fan of Ada and SPARK for a while now, and really wished I had it available when I was programming full time. It’s been used in military and avionic applications where secure and safety ...

The Ada programming language was born in the mid-1970s, when the US Department of Defense (DoD) and the UK’s Ministry Of Defence sought to replace the hundreds of specialized programming languages ...

The AdaCore Make with Ada competition has a winner. The competition is one I helped to judge—I’m very interested in spreading the word about SPARK and Ada. I’ve been doing this for a number of years ...

The Ada programming language has evolved over the years taking in the latest programming ideas from object oriented programming to contract-based programming. Ada 2012 introduced contracts into the ...