BLOCKAID A MODEL FOR PROGRAM EXECUTION
Date
1984-06-01
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
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.
Description
Keywords
Computer Science