Re: Possreps and numeric types

From: Bob Badour <bbadour_at_pei.sympatico.ca>
Date: Wed, 28 Mar 2007 13:27:50 GMT
Message-ID: <q3uOh.16396$PV3.169070_at_ursa-nb00s0.nbnet.nb.ca>


Marshall wrote:

> On Mar 26, 7:12 pm, Bob Badour <bbad..._at_pei.sympatico.ca> wrote:
>

>>I find utility, reproducibility and predictability important criteria
>>for good systems. What criteria do you use?

>
> This morning I posted a lengthy reply to this. It was an
> elaborate argument for the value of algebraic properties
> and proof systems for writing software, and of
> correctness above all.
>
> Has anyone seen it? :-(

Not yet. Is it in a 'Sent Items' folder of any kind? Received on Wed Mar 28 2007 - 15:27:50 CEST

Original text of this message