Entry Maurer:1977:TPC from sigcse1970.bib

Last update: Sun Apr 22 02:03:34 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{Maurer:1977:TPC,
  author =       "W. D. Maurer",
  title =        "The teaching of program correctness",
  journal =      j-SIGCSE,
  volume =       "9",
  number =       "1",
  pages =        "142--144",
  month =        feb,
  year =         "1977",
  CODEN =        "SIGSD3",
  DOI =          "https://doi.org/10.1145/382063.803377",
  ISSN =         "0097-8418 (print), 2331-3927 (electronic)",
  ISSN-L =       "0097-8418",
  bibdate =      "Sun Nov 18 08:53:56 MST 2012",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/tex/bib/sigcse1970.bib",
  note =         "Special issue for the Seventh Technical Symposium on
                 Computer Science Education.",
  abstract =     "For the past seven years, including three years at the
                 University of California (Berkeley) and four years at
                 The George Washington University, this author has
                 taught material relating to the correctness of programs
                 in both undergraduate and graduate courses. The
                 simplest material on correctness that we teach is the
                 proof of correctness of Euclid's algorithm, implemented
                 as a program in FORTRAN, AL-GOL 60, PL/I, or BASIC,
                 depending on the language to which elementary students
                 are first introduced. (It would work just as easily in
                 PASCAL.) This proof is found in (1), pp. 14-20. We
                 usually give a simplified version of it, because the
                 program in (1), for purposes of efficiency, works by
                 dividing and taking the remainder, and we feel it is
                 easier to illustrate the relevant concepts by using an
                 algorithm that works by simple subtractions.",
  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