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
This homework help was uploaded on 04/10/2008 for the course CSE 755 taught by Professor Neelamsoundarajan during the Winter '05 term at Ohio State.
- Winter '05