{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

# a3 - (c x = 1 if y = x then y:= x else y:= x y = 1(d true...

This preview shows page 1. Sign up to view the full content.

CSE 755, Assignment #3 Due: May 12, ’06. 1. (6 points). Which of the following are operationally valid and which invalid? Provide brief justifica- tions for your answers (for the invalid ones your justification must include an example that demon- strates the invalidity of the result): (a) { x = 1 } y := x { x = 1 } (b) { z = 1 ( z > 0 x = z ) } y := x { x = y
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: } (c) { x = 1 } if ( y = x ) then y := x else y := x { y = 1 } (d) { true } while x < do x := x-1 { 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

{[ snackBarMessage ]}

### What students are saying

• As a current student on this bumpy collegiate pathway, I stumbled upon Course Hero, where I can find study resources for nearly all my courses, get online help from tutors 24/7, and even share my old projects, papers, and lecture notes with other students.

Kiran Temple University Fox School of Business ‘17, Course Hero Intern

• I cannot even describe how much Course Hero helped me this summer. It’s truly become something I can always rely on and help me. In the end, I was not only able to survive summer classes, but I was able to thrive thanks to Course Hero.

Dana University of Pennsylvania ‘17, Course Hero Intern

• The ability to access any university’s resources through Course Hero proved invaluable in my case. I was behind on Tulane coursework and actually used UCLA’s materials to help me move forward and get everything together on time.

Jill Tulane University ‘16, Course Hero Intern