+ - Ada 2012 Language Approved as Standard by ISO->
Submitted
by
hypnosec
hypnosec writes "The Ada Resource Association (ARA) announced that the Ada 2012 programming language has been approved and published as a standard by the International Organization for Standardization (ISO). Announcing the development, ARA and Ada-Europe said that the new version brings with it the concept of contract-based programming, Concurrency and Multicore Support, Increased Expressiveness and Container Enhancements. Under the contract-based programming, developers will have the “ability to specify preconditions and postconditions for subprograms, and invariants for private (encapsulated) types.”"
Link to Original Source
Link to Original Source
Ada 2012 Language Approved as Standard by ISO More Login
Ada 2012 Language Approved as Standard by ISO