Please use this identifier to cite or link to this item: http://hdl.handle.net/1880/45717
Title: BLOCKAID A MODEL FOR PROGRAM EXECUTION
Authors: Birtwistle, Graham
Wyvill, Brian
Keywords: Computer Science
Issue Date: 1-Jun-1984
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.
URI: http://hdl.handle.net/1880/45717
Appears in Collections:Birtwistle, Graham
Wyvill, Brian

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.