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

This course also introduces you to the SPARK subset of the Ada programming language. It removes a few features of the language with undefined behavior, so that the code is fit for sound static ...