CPS 206 Fall 1999, Problem 9.

Write a (sequential) C (or Java) program to search an array A of N integers, for the maximum integer present in A, along with the index of one of the maximum values. Present your program (preferably after testing and debugging it), along with a PROOF, using axiomatic semantics, of its partial correctness. (Partial correctness demonstrates that IF the program reaches its exit, it computes the desired result.)