Proof of a Recursive Program: Quicksort

Proof of a Recursive Program: Quicksort

Bibliographic Details
Main Authors:	Foley, M, Hoare, C
Format:	Journal article
Published:	1971

Similar Items

Quicksort
by: Hoare, C
Published: (1962)

Quicksort and Large Deviations.
by: McDiarmid, C
Published: (2012)

Algorithm 63‚ Partition; Algorithm 64‚ Quicksort; Algorithm 65‚ Find
by: Hoare, C
Published: (1961)

Program Correctness Proofs
by: Hoare, C
Published: (1975)

Proof of a Program: FIND
by: Hoare, C
Published: (1971)

Formal proofs concerning partial recursive functions.
by: Rotenberg, Leo Joseph
Published: (2005)

Automated termination proofs using Walther recursion
by: Wu, Alexander
Published: (2007)

Proof of a Structured Program: ‘The Sieve of Eratosthenes'
by: Hoare, C
Published: (1972)

Recursive Data Structures
by: Hoare, C
Published: (1975)

Contributions to recursion theory on higher types (or, a proof of Harrington's conjecture),
by: Harrington, Leo Anthony
Published: (2018)

On learning polynomial recursive programs
by: Buna-Marginean, A, et al.
Published: (2024)

Tabulation Techniques for Recursive Programs
by: Bird, R
Published: (1980)

Improving Programs by the Introduction of Recursion
by: Bird, R
Published: (1977)

Proof of Correctness of Data Representations
by: Hoare, C
Published: (1972)

Design and Proof of a Mail Service
by: Hoare, C, et al.
Published: (1987)

Recursed is not recursive: A jarring result
by: Demaine, ED, et al.
Published: (2022)

Generic Programs and Proofs
by: Hinze, R
Published: (2000)

Algebraic Specification and Proof of a Distributed Recovery Algorithm
by: Jifeng, H, et al.
Published: (1987)

Algebraic Specification and Proof of Properties of a Mail Service
by: Hoare, C, et al.
Published: (1986)

On recursion
by: Watumull, Jeffrey, et al.
Published: (2014)

Termination Assertions for Recursive Programs: Completeness and Axiomatic Definability
by: Meyer, Albert R., et al.
Published: (2023)

Model Checking Recursive Programs with Numeric Data Types
by: Hague, M, et al.
Published: (2011)

How Did Software Get So Reliable Without Proof?
by: Hoare, C
Published: (1996)

Induction in Proofs about Programs
by: Greif, Irene Gloria
Published: (2023)

Proof methods for corecursive programs
by: Gibbons, J, et al.
Published: (2005)

Proof Methods for Corecursive Programs
by: Gibbons, J, et al.
Published: (2015)

An Integrated Proof Language for Imperative Programs
by: Zee, Karen, et al.
Published: (2010)

Pipelined recursive filter : the recursive greedy way of design
by: Ong, Van Vinh
Published: (2015)

Primitive Recursion
by: Levin, Michael
Published: (2004)

Prosody and recursion
by: Wagner, Michael, Ph. D. Massachusetts Institute of Technology
Published: (2006)

Model and proof generation for heap-manipulating programs
by: Brain, M, et al.
Published: (2014)

Model and Proof Generation for Heap−Manipulating Programs
by: Brain, M, et al.
Published: (2014)

Proof Methods for Structured Corecursive Programs
by: Gibbons, J, et al.
Published: (1999)

A Complete Axiomatic System for Proving Deductions About Recursive Programs
by: Harel, David, et al.
Published: (2023)

On-the-fly Race Detection for Programs with Recursive Spawn-Sync Parallelism
by: He, Yuxiong, et al.
Published: (2003)

Recursive Robotic Assemblers
by: Smith, Miana M.
Published: (2023)

Recursive Soft Drop
by: Necib, Lina, et al.
Published: (2018)

Recursion on inadmissible ordinals
by: Friedman, Sy David
Published: (2005)

Games for recursive types
by: Abramsky, S, et al.
Published: (1995)

Non Recursive Functionals
by: Bird, R
Published: (1975)