Question

PRECONDITION: Input is a natural number x.
POSTCONDITION: Output is 2^x.
def power(x):
1. current = 1
2. count = 0
3. while (count < x):
4. ++++current = current * 2
5. ++++count = count + 1
6. return current

Prove correctness of power with respect to the given
specification.

Answer 1

here the + is for the spaces(indented)

Answer 2

I think you should use 2.0 rather than 2,and you should compare result of power with 2**x

Answer 3

we have to prove correctness dude, your reply is so LAME