A specification for a procedure that computes the sum of the elements in an array of integers might require a non-empty array, return 0 if the array is empty, or throw an exception if the array is empty. Discuss which alternative is best and provide the specification for the procedure.