Derivation of Sorting Algorithms from a Specification

DOI10.1093/COMJNL/30.6.512MaRDI QIDQ3799642zbMATH OpenOpenAlexFDO

Authors 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

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

Cited in

(3)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3799642)