Re: Possreps and numeric types

From: Bob Badour <>
Date: Wed, 28 Mar 2007 13:27:50 GMT
Message-ID: <q3uOh.16396$>

Marshall wrote:

> On Mar 26, 7:12 pm, Bob Badour <> 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