Go backward to
Stack-Managed Store
Go up to
Top
Go forward to
The Meaning of Identifiers
The Meaning of Identifiers
Assignment X := X+1
Left-hand side value of X is location,
Right-hand side value is storable value associated to location.
Context problem occurs even at primitive command level!
Variable identifier denotes
pair
of values
I[[I]] = (
L-value
,
R-value
)
L-value is kept in environment.
R-value is kept in store.
Author:
Wolfgang Schreiner
Last Modification: November 18, 1997