Derivation of Sorting Algorithms from a Specification

DOI10.1093/comjnl/30.6.512zbMath0653.68050OpenAlexW2115190288MaRDI QIDQ3799642

R. Geoff Dromey

Publication date: 1987

Published in: The Computer Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/comjnl/30.6.512

zbMATH Keywords

program specificationsorting algorithms

Mathematics Subject Classification ID

Searching and sorting (68P10) Data structures (68P05)

Related Items (3)

\textit{AlCons}: deductive synthesis of sorting algorithms in \textit{Theorema} ⋮ The co-invariant generator: An aid in deriving loop bodies ⋮ Synthesis of sorting algorithms using multisets in \textit{Theorema}

This page was built for publication: Derivation of Sorting Algorithms from a Specification