skip to main content
article
Free Access

Reasoning about programs: integrating verification and analysis of algorithms into the introductory programming course

Authors Info & Claims
Published:01 March 1993Publication History
First page image

References

  1. D. Baldwin, "Teaching Introductory Computer Science as the Science of Algorithms", Proceedings of SIGCSE 1990, pp 58-62. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. E. Dijkstra, "On the Cruelty of Really Teaching Computer Science", in "A Debate on Teaching Computer Science", Communications of the A CM, vol 32, no 12, pp 1397-1414, December 1989. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. D. Gries, "Teaching Calculation and Discrimination: A More Effective Curriculum", Communications o{ the ACM, vol 34, no 3, pp 45-55, March 1991. Further comments in CACM "Forum", September 1991. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. J. Kingston, Algorithms and Data Structures, Addison-Wesley, 1990. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. T. Pratt, "Upgrading CSI: An Alternative to the Proposed COCS Survey Course", Proceedings of SIGCSE 1990, pp 68-71. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. A. Tucker, W. Bradley, R. Cupper, and D. Garnick, Fundamentals of Computing I, McGraw Hill, 1992.Google ScholarGoogle Scholar

Index Terms

  1. Reasoning about programs: integrating verification and analysis of algorithms into the introductory programming course

        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

        Full Access

        • Published in

          cover image ACM SIGCSE Bulletin
          ACM SIGCSE Bulletin  Volume 25, Issue 1
          March 1993
          307 pages
          ISSN:0097-8418
          DOI:10.1145/169073
          Issue’s Table of Contents
          • cover image ACM Conferences
            SIGCSE '93: Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
            April 1993
            311 pages
            ISBN:0897915658
            DOI:10.1145/169070
            • Chairmen:
            • Bruce J. Klein,
            • Cary Laxer,
            • Frank H. Young

          Copyright © 1993 ACM

          Publisher

          Association for Computing Machinery

          New York, NY, United States

          Publication History

          • Published: 1 March 1993

          Check for updates

          Qualifiers

          • article

        PDF Format

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader
        About Cookies On This Site

        We use cookies to ensure that we give you the best experience on our website.

        Learn more

        Got it!