Re: dependent and independent intervals
On 2013-02-19 23:38:00 +0100, Guillaume Melquiond wrote:
> Le mardi 19 février 2013 à 12:37 -0800, Richard Fateman a écrit :
> > > 1. the user performs memoization (some systems also do it, e.g. Maple);
> > > 2. the user performs hash-consing;
> > > 3. the environment performs maximal sharing (e.g. garbage collection or
> > > serialization);
> > > 4. the compiler performs optimization (e.g. common subexpression
> > > eliminations).
> > This is all entirely correct. There is a way around problems(1-4)
> > which is to add a sequential
> > marker to each newly-generated-interval-datum.
>
> Sure, once all the intervals are guaranteed to have different values,
> referential transparency is no longer a problem.
But one may wonder: what specifies a value? The bit-string
representation only? Or more than that, e.g. how the result has been
computed (from the source code)? In C, it is sometimes the latter.
--
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 / AriC project (LIP, ENS-Lyon)