Homework # 3
due February 13

Abstract Interpretation

In the text on page 15, the authors leave it to the reader to prove that $(\alpha,\gamma)$ is an adjunction. Prove it. Also do exercises Exercises 1.3 and 1.4. (NB: $F$ is defined on page 7).

Submission

As with all homeworks, please turn in your homework on paper at the beginning of lecture.

About this document