|
|
|
|
|
|
|
|
|
|
|
|
|
In
normal language, names, and the
|
|
|
things
they name -- their values --
|
|
|
usually
cannot be separated
|
|
|
|
• |
In programming most names change values
|
|
|
… a consequence of finite specification
|
|
|
|
• |
Titles (US_Open_Champ), Offices (Mayor),
|
|
|
Roles (Juliet), etc. are familiar examples of
|
|
|
names that change values
|
|
|
|
• |
Rules, Processes and Directions exploit the
|
|
|
variable value: “Juliet moves to the window”
|