Skip to main content


eCommons@Cornell

eCommons@Cornell >
College of Engineering >
Computer Science >
Computer Science Technical Reports >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1813/7032
Title: Assignment to Subscripted Variables
Authors: Gries, David
Keywords: computer science
technical report
Issue Date: Mar-1977
Publisher: Cornell University
Citation: http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR77-305
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.
URI: http://hdl.handle.net/1813/7032
Appears in Collections:Computer Science Technical Reports

Files in This Item:

File Description SizeFormat
77-305.pdf1 MBAdobe PDFView/Open
77-305.ps532.31 kBPostscriptView/Open

Refworks Export

Items in eCommons are protected by copyright, with all rights reserved, unless otherwise indicated.

 

© 2014 Cornell University Library Contact Us