Pictures as invariants
Publication
, Conference
Astrachan, O
Published in: Proceedings of the Eastern Joint Computer Conference: Design and Application of Small Digital Computers, Aiee Ire 1954
December 8, 1954
The development, specification, and use of a loop invariant are useful and underutilized tools in writing code to solve a problem or implement an algorithm. Invariants are especially useful in introductory courses (CS1 and CS2) but are usually avoided because of the mathematical notation associated with them and because most textbooks have brief, if any, coverage of them. Our intent in this paper is provide several motivating examples of the use of pictures as loop invariants and to provide pointers to literature that more fully explores and develops the ideas of using loop invariants in specifying and developing programs.
Duke Scholars
Published In
Proceedings of the Eastern Joint Computer Conference: Design and Application of Small Digital Computers, Aiee Ire 1954
DOI
Publication Date
December 8, 1954
Start / End Page
112 / 118
Citation
APA
Chicago
ICMJE
MLA
NLM
Astrachan, O. (1954). Pictures as invariants. In Proceedings of the Eastern Joint Computer Conference: Design and Application of Small Digital Computers, Aiee Ire 1954 (pp. 112–118). https://doi.org/10.1145/107004.107026
Astrachan, O. “Pictures as invariants.” In Proceedings of the Eastern Joint Computer Conference: Design and Application of Small Digital Computers, Aiee Ire 1954, 112–18, 1954. https://doi.org/10.1145/107004.107026.
Astrachan O. Pictures as invariants. In: Proceedings of the Eastern Joint Computer Conference: Design and Application of Small Digital Computers, Aiee Ire 1954. 1954. p. 112–8.
Astrachan, O. “Pictures as invariants.” Proceedings of the Eastern Joint Computer Conference: Design and Application of Small Digital Computers, Aiee Ire 1954, 1954, pp. 112–18. Scopus, doi:10.1145/107004.107026.
Astrachan O. Pictures as invariants. Proceedings of the Eastern Joint Computer Conference: Design and Application of Small Digital Computers, Aiee Ire 1954. 1954. p. 112–118.
Published In
Proceedings of the Eastern Joint Computer Conference: Design and Application of Small Digital Computers, Aiee Ire 1954
DOI
Publication Date
December 8, 1954
Start / End Page
112 / 118