[Spark2014-discuss] [M503-001] SPARK 2014: proof rules for type invariants

Tucker Taft taft at adacore.com
Fri May 3 22:50:51 CEST 2013


On 5/3/13 4:46 PM, Steve Baird wrote:

> ... Does that make things clearer?

Could you provide the Ada code for these examples?
My brain reads Ada better than English. ;-)

>
>    -- Steve

Thanks,
-Tuck



More information about the Spark2014-discuss mailing list