{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

# a4 - swap statement with the following syntax x:= y...

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

CSE 755, Assignment #4 Due: 17 May ’06. Important Note: The second mid-term will be on Monday, May 19. 1. (3 points). Derive the following using the axioms and rules of inference we have seen: (a) { x = 1 } if ( y = x ) then y := x else y := x { y = 1 } (b) { false } while x > 0 do x := x + 1 { x = 10 } 2. (4 points). Consider the following program: { (x=1) (y=10) } while ( x 6 = 10) do x := x+1; { (x=y) } Derive the above result using the standard axioms and rules we have seen. If the result cannot be derived, explain what the problem is. 3. (3 points). Consider a
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: swap statement with the following syntax: x :=: y ; Operationally, the effect of executing this statement is to exchange the values of x and y . Propose an axiom for this statement. Explain your axiom. (You may have to introduce some new notation –similar to the p x e notation we used in the assignment axiom– corresponding to this axiom; if you do that, make sure you explain the meaning of your notation.) 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