Am 05.02.2013 19:26, schrieb bearophile:
FG:When should Dist's state validity be checked?Maybe a good answer is written in the Ada2012 Standard. Bye, bearophile
A look should also be given to Eiffel, after all it is the language that created the notion of design by contract, AFAIK. -- Paulo
