Supplementary Errata for Principles of Program Analysis

All of the below has been corrected in the 2nd printing of the book.
Example 1.7 (p.28)
According to Table 1.6, it is not legal to replace "y" by "10 + 10".
Proof of Theorem 2.21 (p.61)
A couple of places, there should be "superset of" rather than "=" between "live_entry(l)" and "...live_exit(l)...".
p.79, displayed formula l.12
In "l \in Y", the "l" should be the same kind as the argument in "f_l(l)" rather than the same kind as the subscript.
p.85, l.3
The "\rho" in "dom(\rho)" should be a "\varsigma".
Example 2.38 (p.95), l.4
In "(\delta',\sigma^sign)", the "\delta'" should be "\delta".
p.96, displayed formula l.13
The left hand side must be applied to "\delta".
p.169, l.8
The last occurrence of "8" should be "9".
p.169, l.10
The occurrence of "y" should be "z".
p.177
"Figure 3.7" should be "Table 3.7".
p.199, l.2
Insert "of" after "separation".
p.231
The reference to Exercise 4.9 should be to Exercise 4.10.
p.234, l.8:
"include" should be "be included in".
p.235
The diagram is a bit misleading in that it does not necessarily hold that \gamma(\beta(v) = {v}.
p.249, l.12
The preceding calculation does not use that \alpha is completely additive (the last equality only uses that \alpha is monotone).
p.265, l.4
The reference to Example 4.7 should be to Example 4.6.
Proof of Proposition 4.44 (p.266), last line
The reason why \gamma(\alpha(X)) = \gamma(\alpha(Y)) implies X = Y is not that we are dealing with a Galois insertion, but that X and Y are in the range of \gamma so that Fact 4.24 can be applied.
Exercise 4.3 (p.274)
The reference to Theorem 3.7 should be to Theorem 3.10.
Proof of Lemma A.8 (p.399)
The reference to Lemma A.6 should be to Lemma A.2.
p.412, l.-8
"...by assumption this cannot..." should be "...by the induction hypothesis this cannot...".
Additionally, there are a few points that deserve elaboration and clarification: