[OT[ proving programs for novices

Hamilton Richards hrichrds@swbell.net
Mon, 17 Mar 2003 21:23:42 -0600

At 7:19 PM -0700 3/17/03, Chris Moline wrote:
>hi. this isnt a haskell question but i am hoping you will forgive it.
>i was wondering where i could find books/websites/tutorials on how to
>construct proofs and how to prove programs. preferably books that are
>aimed at novices with some programming experience but little math/logic

For imperative programming:

	D. Gries, The Science of Programming. Springer Verlag, New York, 1981.

	E.W. Dijkstra, A Discipline of Programming. Prentice-Hall, 1975.

For functional programming:

	R. Bird, Introduction to Functional Programming using Haskell,
	2nd edition. Prentice-Hall, 1998.

Hamilton Richards                Department of Computer Sciences
Senior Lecturer                  The University of Texas at Austin
512-471-9525                     1 University Station C0500
Taylor Hall 5.138                Austin, Texas 78712-1188
ham@cs.utexas.edu                hrichrds@swbell.net