CMSC 631, Fall 2007

Program Analysis and Understanding

Resources

Links

OCaml

Suggested Texts

Here are books you may be interested in if you want to go into much more depth on some of the class material. None of these is required for the class. I would recommend the ones in bold; I own them myself and I have found them to be useful. If you buy just one of these, I would recommend Pierce most highly (with the Huth and Ryan text a close second, but they are on unrelated material).

Software Tools

Valid HTML 4.01!