BLOCKAID A MODEL FOR PROGRAM EXECUTION

Date
1984-06-01
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
Citation