[Spark2014-discuss] [M503-001] SPARK 2014: proof rules for type invariants
baird at adacore.com
Fri May 3 23:17:21 CEST 2013
On 05/03/2013 01:50 PM, Tucker Taft wrote:
> 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. ;-)
I was playing a little fast and loose with Pre vs. Pre'Class
in my text description, so a real example might help with that.
More information about the Spark2014-discuss