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?