Programming Languages and Logics
MWF 10:10-11:00
Upson 111
There is no required textbook. The material covered in this course will be described in notes which will be distributed in lecture and posted to the course website. The following texts are on reserve at the library.
The following electronic resources may also be helpful.