Re: RA with MV attributes
From: Bob Badour <bbadour_at_pei.sympatico.ca>
Date: Sat, 20 Jan 2007 10:29:40 GMT
Message-ID: <oamsh.3016$1x.52150_at_ursa-nb00s0.nbnet.nb.ca>
> Right now we have disparate systems that satisfy both
> groups. But those systems don't look anything like each
> other, and their position on the correctness-proof
> continuum is fixed. The question is, can we accomodate
> both types of users in a single system? I think it's
> possible, or at least approachable. Or at the very
> very least, an interesting question to think about.
Date: Sat, 20 Jan 2007 10:29:40 GMT
Message-ID: <oamsh.3016$1x.52150_at_ursa-nb00s0.nbnet.nb.ca>
Marshall wrote:
> On Jan 18, 10:13 am, Gene Wirchenko <g..._at_ocis.net> wrote:
>
>>"Marshall" <marshall.spi..._at_gmail.com> wrote: >>
> Right now we have disparate systems that satisfy both
> groups. But those systems don't look anything like each
> other, and their position on the correctness-proof
> continuum is fixed. The question is, can we accomodate
> both types of users in a single system? I think it's
> possible, or at least approachable. Or at the very
> very least, an interesting question to think about.
Be careful what you wish for or you will end up with ADA. Received on Sat Jan 20 2007 - 11:29:40 CET