1. Compute several execution paths for the program of ( the case where you execu

1. Compute several execution paths for the program of ( the case where you execute the loop just once, and observe how the treatment of arrays becomes simpler when indexes have a numeric value even during symbolic evaluation.) 2. Modify the procedure of by eliminating the second loop. Describe how you can use intermediate assertions to detect the errors in the program.

You may also like