Entry Ginat:1995:LIM 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{Ginat:1995:LIM,
  author =       "David Ginat",
  title =        "Loop invariants and mathematical games",
  journal =      j-SIGCSE,
  volume =       "27",
  number =       "1",
  pages =        "263--267",
  month =        mar,
  year =         "1995",
  CODEN =        "SIGSD3",
  DOI =          "https://doi.org/10.1145/199691.199812",
  ISSN =         "0097-8418 (print), 2331-3927 (electronic)",
  ISSN-L =       "0097-8418",
  bibdate =      "Sat Nov 17 18:57:28 MST 2012",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/tex/bib/sigcse1990.bib",
  abstract =     "The concept of combining loop invariants with
                 algorithm analysis and design is a significant
                 programming tool. However, teaching this concept is not
                 easy. One way of motivating and supporting the
                 introduction of such a concept, is by illustrating it
                 with attractive examples. In this paper we describe how
                 to illustrate it with mathematical games. In our
                 description, we emphasize the links between heuristic
                 search strategies, pattern exploration, induction, and
                 invariant construction.",
  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