Entry Adams:1975:TDP 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{Adams:1975:TDP,
  author =       "J. M. Adams",
  title =        "Teaching declarative programming",
  journal =      j-SIGCSE,
  volume =       "7",
  number =       "1",
  pages =        "83--85",
  month =        feb,
  year =         "1975",
  CODEN =        "SIGSD3",
  DOI =          "https://doi.org/10.1145/953064.811138",
  ISSN =         "0097-8418 (print), 2331-3927 (electronic)",
  ISSN-L =       "0097-8418",
  bibdate =      "Sun Nov 18 08:53:50 MST 2012",
  bibsource =    "http://portal.acm.org/;
                 http://www.math.utah.edu/pub/tex/bib/sigcse1970.bib",
  note =         "Proceedings of the 5th SIGCSE symposium on Computer
                 science education.",
  abstract =     "At the Conference on Programming Methodology in
                 January 1974 at Albuquerque, New Mexico Prof. Edsger
                 Dijkstra described a method of program development in
                 which the imperative form of a program is developed
                 from the assertions which form the correctness proof.
                 In other words the declarative (or non-procedural)
                 aspect of an algorithm guides its implementation into
                 an imperative (or procedural) form. While extremely
                 exciting, this methodology is rather alien to those
                 with traditional training in the imperative method of
                 program development. Since this encompasses almost
                 everyone including most instructors and students, a
                 problem arises in introducing the methodology into the
                 standard computer science curriculum. This paper
                 describes our approach to the problem at New Mexico
                 State and the results.",
  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