PROOF OF A RECURSIVE PROGRAM - QUICKSORT

[1] ABRAHAMS PW, 1963, THESIS MASSACHUSETTS

[2] BURSTALL RM, 1970, MACHINE INTELLIGENCE, V5

[3] FLOYD RW, 1967, MATHEMATICAL ASPECTS

[4] Hoare C. A. R., 1961, COMMUN ACM, V4, P321, DOI [DOI 10.1145/366622.366647, DOI 10.1145/366622.366644]

[5] AN AXIOMATIC BASIS FOR COMPUTER PROGRAMMING [J]. COMMUNICATIONS OF THE ACM, 1969, 12 (10) : 576 - &

[6] HOARE CAR, 1971, CACM, V13

[7] HOARE CAR, 1971, 1971 S SEM ALG LANG, P188

[8] KING J, 1969, THESIS CARNEGIE MELL

[9] PROOF OF ALGORITHNS - A NEW KIND OF CERTIFICATION [J]. COMMUNICATIONS OF THE ACM, 1970, 13 (06) : 371 - &

[10] [No title captured]

[1] ABRAHAMS PW, 1963, THESIS MASSACHUSETTS

[2] BURSTALL RM, 1970, MACHINE INTELLIGENCE, V5

[3] FLOYD RW, 1967, MATHEMATICAL ASPECTS

[4] Hoare C. A. R., 1961, COMMUN ACM, V4, P321, DOI [DOI 10.1145/366622.366647, DOI 10.1145/366622.366644]

[5] AN AXIOMATIC BASIS FOR COMPUTER PROGRAMMING [J]. COMMUNICATIONS OF THE ACM, 1969, 12 (10) : 576 - &

[6] HOARE CAR, 1971, CACM, V13

[7] HOARE CAR, 1971, 1971 S SEM ALG LANG, P188

[8] KING J, 1969, THESIS CARNEGIE MELL

[9] PROOF OF ALGORITHNS - A NEW KIND OF CERTIFICATION [J]. COMMUNICATIONS OF THE ACM, 1970, 13 (06) : 371 - &

[10] [No title captured]