Advertisement

ISO approves Ada 2012 language standard

December 18, 2012

Susan Rambo-December 18, 2012

The International Organization for Standardization (ISO) has approved Ada 2012 language standard, according to a press release from Ada-Europe and the Ada Resource Association (ARA). ISO/IEC JTC 1 issued the formal approval on November 20th. Standards were published on December 15th.

A summary of the changes to ADA can be found at ARA's web site (www.ada2012.org/). Ada 2012's improvements include (according to this excerpt from ARA):

Contract-based programming
  • Preconditions and postconditions define the expectations and obligations of a subprogram.
  • Type invariants specify boundary constraints for objects of an encapsulated (private) type.
  • Subtype predicates capture general constraints on data objects.

Increased expressiveness
  • Expression functions offer a convenient way to express simple functions.
  • Conditional expressions provide a compact notation for a common idiom.
  • Quantified expressions for universal and existential forms specify predicates over arrays and containers.

Concurrency and multicore support
  • Task affinities and dispatching domains allow tasks to be mapped to specific CPUs or cores.
  • Ravenscar for multiprocessor systems adapts a safe and widely used tasking profile to modern architectures.

Container enhancements
  • Bounded containers use stack allocation and do not incur the overhead of dynamic memory management.
  • Task-safe queues and priority queues provide efficient implementations of synchronized structures.
  • Holder containers create singleton structures for objects of an unconstrained type.
  • Iterators provide familiar idioms with uniform syntax to search and manipulate arrays and containers.

Note: the above bullet points are verbatim from www.ada2012.org/.


Ada 2012 is under the jurisdiction of ISO/IEC JTC1/SC22/WG9. The ARA and Ada-Europe were sponsors of the standards review, which was conducted by Ada Rapporteur Group (ARG) subunit of WG9.
 
Press release is available here from Ada-Europe.

Related content:
Jack Ganssle's "Ada gets a makeover"

Loading comments...