| http://www.w3.org/ns/prov#value | - In an article in Dr. Dobb's on the latest version of Ada, Ada 2012, we discussed the use of contracts ?? including predicates, preconditions, post-conditions, and other kinds of assertions ?? to extend the kinds of conditions that will be checked.
|
