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.
We are currently acquiring citations for the work deposited into this collection. We recognize the distribution rights of this item may have been assigned to another entity, other than the author(s) of the work.If you can provide the citation for this work or you think you own the distribution rights to this work please contact the Institutional Repository Administrator at email@example.com