< Search a list AutoProof Code Repository Strategy >

Sorting

Category: Algorithm

Description

Sorting of integer arrays with quick sort, insertion sort, selection sort, bubble sort, and gnome sort (two versions). The specification covers sortedness of the output, input-output permutation, overflow prevention of arithmetic expressions, and (in most cases) termination.

download source

Code