Home -> Usenet -> comp.databases.theory -> Re: Possreps and numeric types

Re: Possreps and numeric types

From: Marshall <marshall.spight_at_gmail.com>
Date: 27 Mar 2007 20:40:35 -0700
Message-ID: <1175053235.460805.64340_at_b75g2000hsg.googlegroups.com> 






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? :-(




Marshall
Received on Wed Mar 28 2007 - 05:40:35 CEST












Original text of this message