View mode: basic / threaded / horizontal-split · Log in · Help
November 25, 2011
Prestate in Ada 2012
There are several changes in Ada 2012, among them there is the introduction of Contract Programming, and one of its sub-features is the Old (prestate):

http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ai05s/ai05-0145-2.txt?rev=1.8

A general short introduction to the differences of Ada 2012:
http://www2.adacore.com/wp-content/uploads/2006/03/Ada2012_Rational_Introducion.pdf

Bye,
bearophile
Top | Discussion index | About this forum | D home