article

Free access

Teaching loop invariants to beginners by examples

Author:

Wing C. TamAuthors Info & Claims

ACM SIGCSE Bulletin, Volume 24, Issue 1

Pages 92 - 96

https://doi.org/10.1145/135250.134530

Published: 01 March 1992 Publication History

PDF eReader

Abstract

Since the concept of a loop invariant has long been recognized as the correct way to design and analyse loops, it is important that its application to programming be introduced to students and programmers as early as possible. This paper describes how to teach the use of loop invariants to reason about loops and to program them correctly in introductory programming courses by following a systematic set of steps coupled with examples.

References

[1]

Salmon, William I., Structures and Abstractions, Irwin, 1991.

Google Scholar

[2]

Warlord, J. Stanley, Computer Science, Heath, 1991.

Digital Library

Google Scholar

[3]

Giles, David, The Science of Programming, Springer-Verlag, 1981.

Google Scholar

[4]

Dijkstra, Edsgar W., a Discipline Of Programming, Prentice-Hall, 1976.

Digital Library

Google Scholar

Cited By

View all

Scapin EMirolo C(2019)An Exploration of Teachers’ Perspective About the Learning of Iteration-Control ConstructsInformatics in Schools. New Ideas in School Informatics10.1007/978-3-030-33759-9_2(15-27)Online publication date: 18-Nov-2019
https://dl.acm.org/doi/10.1007/978-3-030-33759-9_2
Priester CAlphonce CTims JCaspersen MEdwards S(2016)Loop InvariantsProceedings of the 47th ACM Technical Symposium on Computing Science Education10.1145/2839509.2851069(727-727)Online publication date: 17-Feb-2016
https://dl.acm.org/doi/10.1145/2839509.2851069
Brieven GLiénardy SMalcev LDonnet B(2023)Graphical Loop Invariant Based ProgrammingFormal Methods Teaching10.1007/978-3-031-27534-0_2(17-33)Online publication date: 23-Feb-2023
https://doi.org/10.1007/978-3-031-27534-0_2
Show More Cited By

Index Terms

Teaching loop invariants to beginners by examples
1. Social and professional topics
  1. Professional topics
    1. Computing education
      1. Computing education programs
        Computer science education
2. Theory of computation
  1. Semantics and reasoning
    1. Program reasoning
      1. Invariants

Recommendations

Teaching loop invariants to beginners by examples
SIGCSE '92: Proceedings of the twenty-third SIGCSE technical symposium on Computer science education

Since the concept of a loop invariant has long been recognized as the correct way to design and analyse loops, it is important that its application to programming be introduced to students and programmers as early as possible. This paper describes how ...
Teaching programming to beginners
SIGCSE '77: Proceedings of the seventh SIGCSE technical symposium on Computer science education

Because of the rapid growth of computing and its influence in schools and community colleges, we find we must teach a growing number of graduate teachers and administrators how to program. Because we firmly believe that the only programming worth doing ...
Teaching programming to beginners
Special issue seventh technical symposium on computer science education

Because of the rapid growth of computing and its influence in schools and community colleges, we find we must teach a growing number of graduate teachers and administrators how to program. Because we firmly believe that the only programming worth doing ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM SIGCSE Bulletin Volume 24, Issue 1

March 1992

313 pages

ISSN:0097-8418

DOI:10.1145/135250

Editor:
James E. Miller
Univ. of Southern Mississippi, Hattiesburg, MS

Issue’s Table of Contents

SIGCSE '92: Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
March 1992
332 pages
ISBN:0897914686
DOI:10.1145/134510
Chairman:
Nell B. Dale
Univ. of Texas, Austin

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: 01 March 1992

Published in SIGCSE Volume 24, Issue 1

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

14
Total Citations
View Citations
1,509
Total Downloads

Downloads (Last 12 months)242
Downloads (Last 6 weeks)28

Reflects downloads up to 14 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Scapin EMirolo C(2019)An Exploration of Teachers’ Perspective About the Learning of Iteration-Control ConstructsInformatics in Schools. New Ideas in School Informatics10.1007/978-3-030-33759-9_2(15-27)Online publication date: 18-Nov-2019
https://dl.acm.org/doi/10.1007/978-3-030-33759-9_2
Priester CAlphonce CTims JCaspersen MEdwards S(2016)Loop InvariantsProceedings of the 47th ACM Technical Symposium on Computing Science Education10.1145/2839509.2851069(727-727)Online publication date: 17-Feb-2016
https://dl.acm.org/doi/10.1145/2839509.2851069
Brieven GLiénardy SMalcev LDonnet B(2023)Graphical Loop Invariant Based ProgrammingFormal Methods Teaching10.1007/978-3-031-27534-0_2(17-33)Online publication date: 23-Feb-2023
https://doi.org/10.1007/978-3-031-27534-0_2
Liénardy SLeduc LVerpoorten DDonnet BLuxton-Reilly ASzabo C(2020)CaféProceedings of the Twenty-Second Australasian Computing Education Conference10.1145/3373165.3373176(95-104)Online publication date: 3-Feb-2020
https://dl.acm.org/doi/10.1145/3373165.3373176
Liénardy SRobins AMoskal AKo AMcCauley RRobins AKo A(2020)Learning Computer Programming around a CAFÉProceedings of the 2020 ACM Conference on International Computing Education Research10.1145/3372782.3407119(318-319)Online publication date: 10-Aug-2020
https://dl.acm.org/doi/10.1145/3372782.3407119
Priester CSun YSitaraman M(2016)Tool-Assisted Loop Invariant Development and Analysis2016 IEEE 29th International Conference on Software Engineering Education and Training (CSEET)10.1109/CSEET.2016.28(66-70)Online publication date: Apr-2016
https://doi.org/10.1109/CSEET.2016.28
Ginat D(1996)Efficiency of algorithms for programming beginnersACM SIGCSE Bulletin10.1145/236462.23655128:1(256-260)Online publication date: 1-Mar-1996
https://dl.acm.org/doi/10.1145/236462.236551
Ginat DImpagliazzo JAdams E(1996)Efficiency of algorithms for programming beginnersProceedings of the twenty-seventh SIGCSE technical symposium on Computer science education10.1145/236452.236551(256-260)Online publication date: 1-Mar-1996
https://dl.acm.org/doi/10.1145/236452.236551
Ginat D(1995)Loop invariants and mathematical gamesACM SIGCSE Bulletin10.1145/199691.19981227:1(263-267)Online publication date: 15-Mar-1995
https://dl.acm.org/doi/10.1145/199691.199812
Ginat DLaxer C(1995)Loop invariants and mathematical gamesProceedings of the twenty-sixth SIGCSE technical symposium on Computer science education10.1145/199688.199812(263-267)Online publication date: 15-Mar-1995
https://dl.acm.org/doi/10.1145/199688.199812
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

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

Abstract

References

Cited By

Index Terms

Recommendations