The use of Hoare's method of program verification for the Quicksort algorithm

DOI10.1007/BF02244016MaRDI QIDQ1239604zbMATH OpenOpenAlexFDO

Authors Rudi Studer, Erich J. Neuhold

Publication date 1977

Published in Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02244016

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Algorithms in computer science (68W99)

Cites work

• An axiomatic basis for computer programming
• Increasing the efficiency of quicksort
• Program proving: KJumps and functions
• Proof of a program
• Proof of a recursive program: Quicksort

Cited in

(1)

• Comments on a paper by Neuhold and Studer

Describes a project that uses

Uses Software

• Find

This page was built for publication: The use of Hoare's method of program verification for the Quicksort algorithm

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