Deriving Sorting Algorithms

Details Deriving Sorting Algorithms Deriving Sorting Algorithms

2008-02-26

arxiv.org/abs/0802.3881v1

Computer Science

Data Structures and Algorithms

Technical Report

Scientific paper

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 algorithms are derived from a simpler algorithm, i.e. the specification is already a solution to the problem (in this sense our derivations are program transformations). Secondly, a mixture of inductive and coinductive arguments are used in a uniform, algebraic style in our reasoning. Finally, the approach uses structural invariants so as to strengthen the equational reasoning with logical arguments that cannot be captured in the algebraic framework.

Affiliated with

Also associated with

No associations

Rating

Deriving Sorting Algorithms does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Deriving Sorting Algorithms, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Deriving Sorting Algorithms will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-607247