hypnosec (2231454) 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
Sorry! There are no comments related to the filter you selected.