Proof of a Recursive Program: Quicksort

Proof of a Recursive Program: Quicksort

Bibliografiske detaljer
Main Authors:	Foley, M, Hoare, C
Format:	Journal article
Udgivet:	1971

Lignende værker

Quicksort
af: Hoare, C
Udgivet: (1962)

Quicksort and Large Deviations.
af: McDiarmid, C
Udgivet: (2012)

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

MEAN-OF-2-4 QUICKSORT
af: BOLUN, Ion
Udgivet: (2024-03-01)

Quicksort algorithm again revisited
af: Charles Knessl, et al.
Udgivet: (1999-01-01)

HYBRID QUICKSORT: AN EMPIRICAL STUDY
af: Surya Sujarwo
Udgivet: (2013-10-01)

Quicksort algorithm again revisited
af: Charles Knessl, et al.
Udgivet: (1999-12-01)

Some Results on Asymptotic Behavior of the Recalls of Random Median Quicksort
af: Mehri Javanian, et al.
Udgivet: (2022-12-01)

Program Correctness Proofs
af: Hoare, C
Udgivet: (1975)

Proof of a Program: FIND
af: Hoare, C
Udgivet: (1971)

The Limiting Distribution for the Number of Symbol Comparisons Used by QuickSort is Nondegenerate (Extended Abstract)
af: Patrick Bindjeme, et al.
Udgivet: (2012-01-01)

Recursive Data Structures
af: Hoare, C
Udgivet: (1975)

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

Exact $L^2$-Distance from the Limit for QuickSort Key Comparisons (Extended Abstract)
af: Patrick Bindjeme, et al.
Udgivet: (2012-01-01)

Formal proofs concerning partial recursive functions.
af: Rotenberg, Leo Joseph
Udgivet: (2005)

Automated termination proofs using Walther recursion
af: Wu, Alexander
Udgivet: (2007)

A Proof-Theoretic Account of Primitive Recursion and Primitive Iteration
af: Luca Chiarabini, et al.
Udgivet: (2011-01-01)

Algebraic proof of recursive relation for Boros-Moll polynomial sequence
af: Yujie DOU, et al.
Udgivet: (2023-08-01)

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

Recursive programming techniques /
af: Burge, William H
Udgivet: (1975)

Induction, recursion and programming /
af: 403876 Mitchell, Wand

Proof of Correctness of Data Representations
af: Hoare, C
Udgivet: (1972)

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

Tabulation Techniques for Recursive Programs
af: Bird, R
Udgivet: (1980)

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

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

On the Recursive-Parallel Programming for the .NET Framework
af: V. V. Vasilchikov
Udgivet: (2014-04-01)

Vector Programming Using Generative Recursion
af: Marco T. Morazán
Udgivet: (2019-06-01)

Vector Programming Using Structural Recursion
af: Marco T. Morazán
Udgivet: (2018-05-01)

A Survey on Teaching and Learning Recursive Programming
af: Christian RINDERKNECHT
Udgivet: (2014-04-01)

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

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

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

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

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

Verification of Programs with Mutual Recursion in the Pifagor Language
af: Mariya S. Ushakov, et al.
Udgivet: (2018-08-01)

The recursive parallel programming shell for Win32
af: V. V. Vasilchikov
Udgivet: (2008-03-01)

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

Recursion Of Binary Space As A Foundation Of Repeatable Programs
af: Jeremy Horne
Udgivet: (2006-10-01)

Tail Recursion Transformation in Functional Dataflow Parallel Programs
af: A. I. Legalov, et al.
Udgivet: (2015-02-01)