Problem
1. Is specification 9 an appropriate specification for a sorting procedure? Why? If not, give such an appropriate specification.
2. Specify a procedure that is intended to merge two sorted arrays into a single one. You should distinguish two different cases: a. Duplicate elements in input arrays should appear as duplicates in the output array. b. Input and output arrays should contain no duplicate elements.