Question 22

Part c and e

whose type rules are the same as for the assignment statement example of Section 3.4.5, 1. Using the virtual machine instructions given in Section 3.5.1.1, give an operational semantic definition of the following: a. Java do-while b. Ada for cC+ iE-than-else d. Cfor e. C switch 22. Write a denotational semantics happing function for the following statements: a. Ada for b. Java do-while c) Java Boolean expressions d. Java for e. C switch 23. Compute the weakest precondition for each of the following assignment statements and postconditions: a, a = 2 * (b-1)-1{a > 0} b. b (c 10)/ 3 (b> 6) c, a a + 2 * b-1{a > 1}