Please use this identifier to cite or link to this item:
|Title:||BLOCKAID A MODEL FOR PROGRAM EXECUTION|
|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.|
|Appears in Collections:||Birtwistle, Graham |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.