stack: an orderly pile or heap
In almost any modern programming language, a function may have local variables that are created upon entry to the function. Several invocations of the function may exist at the same time, and each invocation has its own instantiations of local variables.
In the Tiger function,
a new instantiation of x is created (and initialized by f’s caller) each time that f is called. Because ...