 A procedure "uncall" executes the statements of a procedure in the backward direction.There are no parameters to procedures, so all variable passing is done by side-effects on the global store.An expression is a constant (integer), a variable, an indexed variable, or an application of a binary operation