Re: MidRad -- and Two Different Application Domains (TDAD).
Vincent LefÛvre brought up the example
> ... And what about expressions like A + B + C? Do you have
> a canonical definition that would satisfy all the users?
> For instance, if A = x and C = -x (x as a variable), would
> you allow an implementation to optimize this expression to B?
This is a fine example as to why I believe it is important to state
explicitly (e.g. to the compiler, via pragma) which of the two
application domains applies: if an interval stands for a single
but uncertain numerical value, the simplification is legitimate,
but if the intervals represent domains, it would depend on extra
information, and in general would not be legitimate.
Incidentally, this issue is relevant to our dormant ER subgroup!
Michel.
---Sent: 2009-09-21 11:09:48 UTC