Textbooks

We won’t follow any one textbook in this course, and instead will primarily use papers and surveys available online. The following textbooks might, however, be useful for parts of the course:

• Principles of Program Analysis. By Nielson, Nielson, and Hankin.
• The Calculus of Computation. By Bradley and Manna.