Re: How to update multiple rows atomically
From: paul c <toledobythesea_at_oohay.ac>
Date: Sat, 29 Jul 2006 17:35:40 GMT
Message-ID: <M%Myg.263025$iF6.69511_at_pd7tw2no>
> Pre-conditions, post-conditions and invariants are at the core of
> correctness proofs.
Date: Sat, 29 Jul 2006 17:35:40 GMT
Message-ID: <M%Myg.263025$iF6.69511_at_pd7tw2no>
Bob Badour wrote:
> paul c wrote:
>
>> Tony Andrews wrote: >> >>> Marshall wrote: >>> ...
> Pre-conditions, post-conditions and invariants are at the core of
> correctness proofs.
Correct! Received on Sat Jul 29 2006 - 19:35:40 CEST