第351页 第9章 数据流分析

361页，倒数第二段
 当且仅当在从某过程的入口点到p处的每条代码路径上e都已经求值，且从求值处到p之间e的任何成分子表达式都没有重新定义时，表达式e在该过程位置p处是可用的。An expression e is available at point p in a procedure if and only if on every path from the procedure’s entry to p, e is evaluated and none of its constituent subexpressions is redefined between that evaluation and p.  
由于中文表达的习惯于英文不同，译文对原文的顺序进行调整，但译文对首次出现变量的说明未做调整，导致译文读起来十分别扭。具体来说有两点：首次出现的p前应添加“位置”、e前添加“表达式”，随后出现的则不必加；constituent subexpressions翻译做“成分-子表达式”不妥。

367页，第三段。
更正式地说，节点n中的定义，仅在满足下述两个条件的汇合点才需要插入相应的函数∮
汇合点后遗漏“m”

368页，第二段。
第三，如果对j的某些前驱节点k，j∈DF(k)，那么对每个节点l∈Dom(k)，必定有j∈DF(l)，除非l∈Dom(j)
应删除“某些”中的“些”。另外原文第三条的表述并不准确。实际可表述如下为“第三，若k为j的前驱节点，节点l满足l∈Dom(k)且l∉Dom(j)，则必有j∈DF(l)。”

373页，第三段
就假定a0，b0，c0和d0是在进入B0时定义的。
这里没有给出解释为什么要做此假设，且为什么不对i0做假设。

377页，第二段。
出现术语“LiveIn集合”，搜遍全书也没有给出明确的定义和说明。参考wikipedia里就很清楚：https://en.wikipedia.org/wiki/Live_variable_analysis

379页，9.3.6节使用静态单赋值形式
出现术语”半格(semilattice)”，经检索这需要格论lattice Theory）的相关知识，本书没有提供相关的知识基础说明，可能需阅读专门的书籍才能看懂，格论基础（有pdf版本）：http://book.douban.com/subject/26611780/ 。因此该节以及随后的9.4节都略过。

总结一下第九章：属于概述性章节，论述过多，缺乏简洁清晰、形式化的数学描述。