Teaching loop invariants to beginners by examples

Wing C. Tam. Teaching loop invariants to beginners by examples. In Nell B. Dale, editor, Proceedings of the 23rd SIGCSE Technical Symposium on Computer Science Education, 1992, Kansas City, Missouri, USA, March 5-6, 1992. pages 92-96, ACM, 1992. [doi]

@inproceedings{Tam92,
  title = {Teaching loop invariants to beginners by examples},
  author = {Wing C. Tam},
  year = {1992},
  doi = {10.1145/134510.134530},
  url = {http://doi.acm.org/10.1145/134510.134530},
  tags = {C++, teaching},
  researchr = {https://researchr.org/publication/Tam92},
  cites = {0},
  citedby = {0},
  pages = {92-96},
  booktitle = {Proceedings of the 23rd SIGCSE Technical Symposium on Computer Science Education, 1992, Kansas City, Missouri, USA, March 5-6, 1992},
  editor = {Nell B. Dale},
  publisher = {ACM},
  isbn = {0-89791-468-6},
}