skip to main content
10.1145/800037.800987acmconferencesArticle/Chapter ViewAbstractPublication PagessigcseConference Proceedingsconference-collections
Article
Free Access

A top down approach to sorting

Published:01 February 1981Publication History

ABSTRACT

A top-down approach is presented for the derivation of, and corresponding exposition of sorting algorithms. Work done in automatic program synthesis has produced interesting results about sorting algorithms which suggest this approach. In particular insertion sort and selection sort are seen to be instances of merge sort and Quick sort, and sinking sort and bubble sort are presented as in-place versions of insertion sort and selection sort. This top-down approach is offered as an alternative way of deriving and ultimately teaching about sorting algorithms.

References

  1. 1.Barstow, David R. "Remarks on 'A Synthesis of Several Sorting Algorithms' by John Darlington," Acta Informatica 13, 1980.Google ScholarGoogle Scholar
  2. 2.Darlington, John. "A Synthesis of Several Sorting Algorithms," Acta Informatica, 11, 1978.Google ScholarGoogle Scholar
  3. 3.Green, Cordell and Barstow, David. "On Program Synthesis Knowledge," Artificial Intelligence 10, 1978.Google ScholarGoogle Scholar
  4. 4.Horowitz, Ellis and Sahni, Sartaj. Fundamentals of Computer Algorithms, Computer Science Press, 1978.Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. 5.Knuth, Donald E. The Art of Computer Programming, vol.III: Sorting and Searching, Addison-Wesley, 1973. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. 6.Wirth, Niklaus. Algorithms + Data Structures &equil; Programs, Prentice-Hall, 1976. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. A top down approach to sorting

            Recommendations

            Comments

            Login options

            Check if you have access through your login credentials or your institution to get full access on this article.

            Sign in
            • Published in

              cover image ACM Conferences
              SIGCSE '81: Proceedings of the twelfth SIGCSE technical symposium on Computer science education
              February 1981
              270 pages
              ISBN:0897910362
              DOI:10.1145/800037
              • cover image ACM SIGCSE Bulletin
                ACM SIGCSE Bulletin  Volume 13, Issue 1
                Proceedings of the 12th SIGCSE symposium on Computer science education
                February 1981
                265 pages
                ISSN:0097-8418
                DOI:10.1145/953049
                Issue’s Table of Contents

              Copyright © 1981 ACM

              Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

              Publisher

              Association for Computing Machinery

              New York, NY, United States

              Publication History

              • Published: 1 February 1981

              Permissions

              Request permissions about this article.

              Request Permissions

              Check for updates

              Qualifiers

              • Article

              Acceptance Rates

              Overall Acceptance Rate1,595of4,542submissions,35%

              Upcoming Conference

              SIGCSE Virtual 2024
            • Article Metrics

              • Downloads (Last 12 months)25
              • Downloads (Last 6 weeks)3

              Other Metrics

            PDF Format

            View or Download as a PDF file.

            PDF

            eReader

            View online with eReader.

            eReader