Re: Motion 13
On 2010-05-05 18:40:08 +0200, Ulrich Kulisch wrote:
> This could be a possible use for the empty set:
> Occasionally it happens in programming that a variable is used
> before a definite value has been assigned to it. This is a terrible
> error in interval arithmetic and should be avoided by checking for
> it. A solution could be to set every variable at definition to be
> the empty set.
It could be NaI if defined. Or it could be the entire set: this would
allow to correctly handle variables that should have been initialized
to some value (or interval) but this was forgotten, but programming
errors (such as typos in variable names) may not be detected.
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / Arénaire project (LIP, ENS-Lyon)