The Assignment Command
For the moment, we consider assignment to a simple variable, where a “simple” variable is a variable of type integer, Boolean and the like. We treat assignment to array elements in section 9.3.
KeywordsArray Element Simple Variable Proof Outline Multiple Assignment Weak Precondition
Unable to display preview. Download preview PDF.