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

Ada 2012, an upgrade to language due later this year, will feature contract capabilities, multicore programming accommodations, iterators, and quantified expressions, said Ed Schonberg, vice ...

Language revision adds contract-based programming, multicore support and other features … continue reading ...

Jean Ichbiah, best known as the inventor of the Ada programming language, died Jan. 26, at age 66 of a brain tumor. According to one online eulogy, “Ichbiah’s main appearance under the ...

Many myths surround the Ada programming language, but it continues to be used and evolve at the same time. And while the increased adoption of Ada and SPARK, its provable subset, is slow, it’s ...

In that sense, it teaches you Ada paradigms that should be applied in replacement of those usually applied in C. This course also introduces you to the SPARK subset of the Ada programming language.

The International Organization for Standardization (ISO) has approved Ada 2012, the latest version of the technical workhorse programming language.