Deriving Sorting Algorithms

José Bacelar Almeida, Jorge Sousa Pinto

This paper proposes new derivations of three well-known sorting algorithms, in their functional formulation. The approach we use is based on three main ingredients: first, the algo…