Slashdot is powered by your submissions, so send in your scoop

 



Forgot your password?
typodupeerror

Slashdot videos: Now with more Slashdot!

  • View

  • Discuss

  • Share

We've improved Slashdot's video section; now you can view our video interviews, product close-ups and site visits with all the usual Slashdot options to comment, share, etc. No more walled garden! It's a work in progress -- we hope you'll check it out (Learn more about the recent updates).

×

+ - Ada 2012 Language Approved as Standard by ISO->

Submitted by hypnosec
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
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:

You can be replaced by this computer.

Working...