The International Organization for Standardization (ISO) has published as a standard the latest version of the Ada programming language, Ada 2012, which offers a new security feature found in few other languages, called contract-based programming.

read more