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:

p.16, the calculation: it is not immediate how to derive
the second last equality.

p.180, the remarks just before Sect. 3.5 starts.

p.262, l.1: how exactly is Lemma 4.22 used?