PARIS – The latest version of the ADA programming language has received the approval of the International Organization for Standardization (ISO).
The Ada Resource Association (ARA) and Ada-Europe said Ada 2012 brings enhancements in the area of contract-based programming. Among other features, Ada 2012 adds the ability to specify preconditions and postconditions for subprograms, and invariants for private (encapsulated) types.
Ada 2012 also includes enhancements to the containers library, additional expressiveness through features such as conditional expressions and more powerful iterators, and support for multicore platforms.
Commenting on the language revision, Dr. Edmond Schonberg, Rapporteur of the ARG, declared: “The new features answer real user needs, and help cement Ada’s reputation as a language of choice for systems where reliability, safety, and security are paramount.”
The language revision was under the auspices of ISO/IEC JTC1/SC22/WG9 and was conducted by the Ada Rapporteur Group subunit of WG9, with sponsorship in part from the ARA and Ada-Europe. The formal approval of the standard was issued on Nov. 20 by ISO/IEC JTC 1, and the standard was published on December 15.
David Patterson, known for his pioneering research that led to RAID, clusters and more, is part of a team at UC Berkeley that recently made its RISC-V processor architecture an open source hardware offering. We talk with Patterson and one of his colleagues behind the effort about the opportunities they see, what new kinds of designs they hope to enable and what it means for today’s commercial processor giants such as Intel, ARM and Imagination Technologies.