skip to main content
article
Free Access

Modules to introduce assertions and loop invariants informally within CS1: experiences and observations

Authors Info & Claims
Published:01 June 1998Publication History
Skip Abstract Section

Abstract

Over the past several years, the author has written, used, and refined several modules that help introduce the concepts of assertions and loop invariants within CS1. After discussing the motivation for this work, this paper describes the development of the modules themselves, including both successes and disappointments. Feedback from students and the observation of students within a lab setting may shed light on the background and perspectives of introductory computer science students. This work also suggests some preliminary conclusions, which might be worthy of more formal, carefully-controlled validation studies in the future.

Index Terms

  1. Modules to introduce assertions and loop invariants informally within CS1: experiences and observations

      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 30, Issue 2
        June 1998
        69 pages
        ISSN:0097-8418
        DOI:10.1145/292422
        Issue’s Table of Contents

        Copyright © 1998 Author

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 1 June 1998

        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!