Re: Modeling question...

On Nov 15, 1:35 am, paul c <toledobythe..._at_oohay.ac> wrote:
> paul c wrote:
>
> ...
>
> > Here, 'n' is a value, not a pointer (as far as the RM is concerned), ...
>
> Oops, meant to say 'n' is a value, not a variable.

Well I agree with that, but note that I actually stated that 'n' was a *name* of a variable. The variable itself has more to with the existence of the tuple

    value(n,10)

which records the current value of the variable named n.

A name of a variable is a value and can be thought of as a pointer value.

I have the impression you think of variables and pointers as physical concepts, not logical ones. Is that right? But what does such a distinction really mean? For example, some interpreted scripting languages record the values of the variables in maps keyed by names that are the strings that appear in the scripting code. If such a language allows for storing the name of a variable in another variable would you agree that it can be thought of as a pointer? Received on Sat Nov 15 2008 - 01:47:30 CET