A variable is a quadruple which is composed of a name, a set of attributes, a

reference,and a value

The rule for evaluating an assignment expression is: evaluate the expression on the
right hand side of the assignment operator, and assign the value to the variable on the
left hand side. The value of the entire assignment expression is the value assigned to
the left hand side variable

A programming language which allows one variable to alias another is said to permit
aliasing.

A constant is a name and an associated value such that the value may never be altered
by the program during execution.

construct in a typed language is said to be overloaded if there are several distinct

meanings of the construct and the appropriate meaning is selected based upon the
type information of its arguments. Perhaps the oldest example of overloading of
operators is in connection with +