Entry Tam:1992:TLI from sigcse1990.bib

Last update: Wed Sep 26 02:07:32 MDT 2018                Valid HTML 4.0!

Index sections

Top | Symbols | Numbers | Math | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

BibTeX entry

@Article{Tam:1992:TLI,
  author =       "Wing C. Tam",
  title =        "Teaching loop invariants to beginners by examples",
  journal =      j-SIGCSE,
  volume =       "24",
  number =       "1",
  pages =        "92--96",
  month =        mar,
  year =         "1992",
  CODEN =        "SIGSD3",
  DOI =          "https://doi.org/10.1145/135250.134530",
  ISSN =         "0097-8418 (print), 2331-3927 (electronic)",
  ISSN-L =       "0097-8418",
  bibdate =      "Sat Nov 17 18:57:17 MST 2012",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/tex/bib/sigcse1990.bib",
  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.",
  acknowledgement = ack-nhfb,
  fjournal =     "SIGCSE Bulletin (ACM Special Interest Group on
                 Computer Science Education)",
  journal-URL =  "http://portal.acm.org/browse_dl.cfm?idx=J688",
}

Related entries