Want to read Slashdot from your mobile device? Point it at m.slashdot.org and keep reading!


Forgot your password?
Back for a limited time - Get 15% off sitewide on Slashdot Deals with coupon code "BLACKFRIDAY" (some exclusions apply)". ×

Submission + - Ada 2012 Language Approved as Standard by ISO (paritynews.com)

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.”
This discussion was created for logged-in users only, but now has been archived. No new comments can be posted.

Ada 2012 Language Approved as Standard by ISO

Comments Filter:

At the source of every error which is blamed on the computer you will find at least two human errors, including the error of blaming it on the computer.