Require per invocation allocation
Assume Global and Local variables ONLY
Relative addressing
- Globals are relative to the stack base
- Intermediate results relative to stack top
- Locals relative to known points on stack
- one known point for each active procedure
- this point starts a frame for the procedure
- locals contained in the frame