This preview shows page 1. Sign up to view the full content.
Unformatted text preview: } (c) { x = 1 } if ( y = x ) then y := x else y := x { y = 1 } (d) { true } while x < do x := x1 { x = 0 } 2. (4 points). Derive the following using the axioms and rules of inference we have seen: (a) { x = 1 } y := x { x > } (b) { z = 1 ( z > x = z ) } y := x { x = y = z } 1...
View
Full
Document
 Winter '05
 NeelamSoundarajan

Click to edit the document details