From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: Finalization and Garbage Collection: a hole in the RM?
Date: 1996/09/03
Date: 1996-09-03T00:00:00+00:00 [thread overview]
Message-ID: <dewar.841801768@schonberg> (raw)
In-Reply-To: mazzanti-0209961050000001@mac-mazz.iei.pi.cnr.it
Franco said
""Bounded Errors" are not considered by the RM (not from me) cases of
true "unpredictability". A program with bounded errors is not erroneous.
"
Well anyone can use language any way they like, but in the normal English
meaning of the word unpredictable (which is the proper one to be using,
since unpredictable is not technical term), of course bounded errors
result in unpredictable program execution, in that you cannot predict
what will happen.
There is a very deliberate distinction drawn in the RM between
non-deterministic behavior and bounded errors, even though some
formalisms might have difficulties in distinguishing betwee3n them.
The best way to think of bounded errors is as erroneoues situations in which
there
are some bounds on what can happen as a result of the error. It is wrong
to think of bounded errors as simply specifying non-deterministic execution.
next prev parent reply other threads:[~1996-09-03 0:00 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-09-02 0:00 Finalization and Garbage Collection: a hole in the RM? Franco Mazzanti
1996-09-03 0:00 ` Robert A Duff
1996-09-03 0:00 ` Robert Dewar [this message]
-- strict thread matches above, loose matches on Subject: below --
1996-09-09 0:00 Franco Mazzanti
1996-09-06 0:00 Franco Mazzanti
1996-09-06 0:00 ` Robert A Duff
1996-09-07 0:00 ` Robert Dewar
1996-09-04 0:00 Franco Mazzanti
1996-09-08 0:00 ` Robert Dewar
1996-08-30 0:00 Franco Mazzanti
1996-08-30 0:00 ` Robert A Duff
1996-08-26 0:00 Franco Mazzanti
1996-08-29 0:00 ` Robert A Duff
1996-08-29 0:00 ` Robert A Duff
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox