Specify which axioms are used in the following code block. Label each portion of the axiom that are present, show the parts that can be implied by the code present given the final post condition. This problem requires you to find a precondition for the code block. This problem requires you proving the total correctness of the loop. ...
length = arr. length;
sum = 0;
missing = 0;
for(int i = 0; i < length; i++){
if ( A[i] != null ){
sum = sum + arr[i] ;
} else {

missing++ ; }
}
length = length - missing;
average = sum / length; {
average = AVG(arr) for all nonempty elements of arr}

The volume v and paper surface area a of a conical paper cup are given by where r is the radius of the base of the cone and h is the height of the cone. a. by eliminating h, obtain the expression for a as a function of r and v. b. create a user-de ned function that accepts r as the only argument and computes a for a given value of v. declare v to be global within the function. c. for v ! 10 in.3 , use the function with the fminbnd function to compute the value of r that minimizes the area a. what is the corresponding value of the height h? investigate the sensitivity of the solution by plotting v versus r. how much can r vary about its optimal value before the area increases 10 percent above its minimum value?