book eleven
David Gries's austerely mathematical guide to constructing correct programs, The Science of Programming.
I suppose this is what they call a blog. Except that blogs are supposed to be updated more often than this is.
Feeds: Atom 1.0 (preferred), RSS 0.91. Front page: link.
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
David Gries's austerely mathematical guide to constructing correct programs, The Science of Programming.