Ada 2012: Ada With Contracts

The most important new feature in Ada 2012 is support for contract-based programming, which adds more validation of mission-critical code to a language already famous for its focus on reliability.


April 09, 2013
URL:http://www.drdobbs.com/open-source/the-book-cipher-algorithm/security/ada-2012-ada-with-contracts/240150569

Terms of Service | Privacy Statement | Copyright © 2024 UBM Tech, All rights reserved.