Queens University

CISC 223

Regulations on assignments • The assignments are graded according to the correctness, preciseness and legibility of the solutions. All handwritten parts, including figures, should be clear and legible. This assignment is marked out of 20 possible marks. • Please submit your solution in onQ before the due time. • The assignment must be based on individual work. Copying solutions from other students is a violation of academic integrity. See the course web site for more information https://research.cs.queensu.ca/home/cisc223/2013w/#AS 1. (5 marks) What should the pre-condition P be in each of the following ten correctness statements for the statement to be an instance of Hoare’s axiom scheme? All variables are of type int. (a) P { x = 1; } x == 1 (b) P { x = 1; } x > 2 (c) P { x = y + z; } x < y + z