Deriving Sorting Algorithms

Simple item page
dc.creatorAlmeida, José Bacelar
dc.creatorPinto, Jorge Sousa
dc.date2008-02-26
dc.date.accessioned2026-07-07T09:23:22Z
dc.date.available2026-07-07T09:23:22Z
dc.descriptionThis 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.
dc.descriptionTechnical Report
dc.identifierhttps://arxiv.org/abs/0802.3881
dc.identifierhttp://arxiv.org/abs/0802.3881
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/155708
dc.subjectData Structures and Algorithms
dc.subjectLogic in Computer Science
dc.titleDeriving Sorting Algorithms
dc.typetext

Files

Collections

arXiv