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
- Winter '05
- Logic, following program, IMPORTANT NOTE, new notation, px notation, standard axioms