A Note on Synthesis and Classification of Sorting Algorithms

Kung-Kiu Lau
Department of Computer Science
University of Manchester
Manchester M13 9PL
England

Abstract:
Sorting algorithms are traditionally classified according to their
main operational characteristic. More recently, program synthesis has
been used as a basis for classification. We briefly survey previous
work in the synthesis and classification of sorting algorithms, and
outline a more comprehensive scheme derived by synthesising many
sorting algorithms in a top-down fashion on a semi-automated logic
programming system.