From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: correctness vs liability
Date: 1997/08/25
Date: 1997-08-25T00:00:00+00:00 [thread overview]
Message-ID: <dewar.872564072@merv> (raw)
In-Reply-To: dewar.872558909@merv
I wrote
<<How can one have realiable programs that are not correct? Very simple,
and in fact, I would guess that virtually all large realiable programs
in the world fall into this category. The point is that a program can
be realiable if it has a very long mean time between catastrophic>>
I must say tha the typo "realiable" must have been unconciously
intentional don't you think :-)
prev parent reply other threads:[~1997-08-25 0:00 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-08-25 0:00 correctness vs liability Robert Dewar
1997-08-25 0:00 ` Robert Dewar [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox