CMSC 631, Fall 2011

Program Analysis and Understanding

Resources

General

OCaml

Coq

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.

Software Tools

Valid HTML 4.01!