ADA, the 32-year-old programming language, had its latest 2012 version approved by the ISO this week.
ADA 2012 and introduced contract-based programming along with the ability to specify pre/post-conditions for sub-programs, and invariants for private types. Other enhancements advanced the areas of contrainers library, expressiveness for various features, and support for multi-core platforms.
The original version of ADA, which was developed by the US Department of Defense, was approved as a standard by the International Organization for Standardization nearly thirty years ago.
The press release announcing the ADA 2012 ISO standardization can be found at ADACore.com
. The ADA 2012 language reference manual and other programming language details can be found at ADA-Auth.org