conrad@wucs1.wustl.edu (H. Conrad Cunningham) (10/16/90)
During the spring semester of 1991 I will be teaching a course dealing with (sequential, imperative) program specification, derivation, and correctness verification. My current textbook candidates include: Gries' _The Science of Programming_ (Springer-Verlag, 1981) Dijkstra & Feijen's _A Method of Programming_ (Addison-Wesley, 1988) Dromey's _Program Derivation: The Development of Programs from Specifications_ (Addison-Wesley, 1989) Gumb's _Programming Logics_ (Wiley, 1989) I request suggestions/comments from others on these or other appropriate books--especially people who have had experience with such a course (as the instructor or a student.) The audience for my course includes both seniors and graduate students. ------------------------------------------------------------------------------- H. Conrad Cunningham | Title: Assistant Professor Dept. of Computer & Info. Science | Telephone: (601) 232-5358 Fax: 232-7010 The University of Mississippi | Internet: cunningham@cs.olemiss.edu 302 Weir Hall |-------------------------------------------- University, MS 38677 U.S.A. | Home: Rt. 1, Box 81, Oxford, MS 38655 -------------------------------------------------------------------------------