Dear Raimar,
It is the set of retained index *positions* which is known at compile time.
The set of dummy index *positions* is indeed just the complement of this.
But the set of dummy indices (i.e., their *values*) becomes available only
at runtime. This is how I meant it.
Then, the *values* of the retained indices is of course again a
runtime-information, but this is used only when we actually address certain
elements of the *slice*. The slice itself, however, is determined by the
set of retained index positions and the set of dummy index values, that is,
a piece of compile-time and a piece of runtime information.
I hope it is clearer now.
Best regards,
András
On Fri, Mar 23, 2012 at 9:55 AM, Raimar Sandner
<rai...@ui...>wrote:
> Dear András,
>
> just a quick question:
>
> In section 4 of your recent paper you state that the set of retained index
> positions is an information available at compile time, while the set of
> dummy
> indices is an information becoming available only at runtime.
>
> Why is that? This is not clear to me, as the layout of the system is known
> at
> compile time, and I would think the set of dummy indices is just the
> complement of the set of the retained indices in the set of all indices.
>
> Best regards
> Raimar
>
>
> ------------------------------------------------------------------------------
> This SF email is sponsosred by:
> Try Windows Azure free for 90 days Click Here
> http://p.sf.net/sfu/sfd2d-msazure
> _______________________________________________
> Cppqed-support mailing list
> Cpp...@li...
> https://lists.sourceforge.net/lists/listinfo/cppqed-support
>
|
