1. Find wp(if x then x := x else x := 0 - x fi, x ≤ 0). 2. Write a program in the sample language that computes the product of two numbers n and m by repeatedly adding n m-times. Prove that your...

1. Find wp(if x then x := x else x := 0 - x fi, x ≤ 0).

2. Write a program in the sample language that computes the product of two numbers n and m by repeatedly adding n m-times. Prove that your program is correct.