Assignment to Subscripted Variables
dc.contributor.author | Gries, David | en_US |
dc.date.accessioned | 2007-04-23T17:52:18Z | |
dc.date.available | 2007-04-23T17:52:18Z | |
dc.date.issued | 1977-03 | en_US |
dc.description.abstract | The assignment b(r):=e is investigated using two axiomatic definitions in order to gain an understanding of the problems involved with using arrays. It is seen that assignment to array elements leads to many of the difficulties encountered with pointers or references. The axiomatic definition is extended to cover the multiple assignment statement to both simple and subscripted variables, and a proof of correctness for a nontrivial program is outlined using the new definition. | en_US |
dc.format.extent | 1027553 bytes | |
dc.format.extent | 545090 bytes | |
dc.format.mimetype | application/pdf | |
dc.format.mimetype | application/postscript | |
dc.identifier.citation | http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR77-305 | en_US |
dc.identifier.uri | https://hdl.handle.net/1813/7032 | |
dc.language.iso | en_US | en_US |
dc.publisher | Cornell University | en_US |
dc.subject | computer science | en_US |
dc.subject | technical report | en_US |
dc.title | Assignment to Subscripted Variables | en_US |
dc.type | technical report | en_US |