BLOCKAID A MODEL FOR PROGRAM EXECUTION
We illustrate a technique for picturing the dynamic behaviour of block structured programs under execution. Examples are shown using Pascal programs but the method is perfectly general. It shows how procedures are incarnated when called and deleted on exit. A clear interpretation of the binding rule is given for local and global variables and parameters; and the need for multiple copies for recursively called procedures is demonstrated.