Certification of algorithms 63, 64 and 65, partition, quicksort, and find

  • Authors:

  • B. Randell;L. J. Russell

  • Affiliations:

  • The English Electric Co., Ltd., Whetstone, England, U.K.;The English Electric Co., Ltd., Whetstone, England, U.K.

  • Venue:
  • Communications of the ACM
  • Year:
  • 1963

  • Sorting

    ACM Computing Surveys (CSUR)

Quantified Score

Hi-index 48.22

Visualization

Abstract