Answer: Exercises 6–9 each contain a while loop annotated
Chapter 5, Problem 6E(choose chapter or problem)
Exercises 6–9 each contain a while loop annotated with a preand a post-condition and also a loop invariant. In each case, use the loop invariant theorem to prove the correctness of the loop with respect to the pre- and post-conditions.[Pre-condition: m is a nonnegative integer, x is a real number,i = 0, and exp = 1.]while ( i ? m)1. exp := exp· x2. i := i + 1end while[Post-condition: exp = xm]loop invariant: I (n) is “exp = xn and i = n.”
Unfortunately, we don't have that question answered yet. But you can get it answered in just 5 hours by Logging in or Becoming a subscriber.
Becoming a subscriber
Or look for another answer