Compilation of Sorting Algorithms