以前写的一篇文章 1. 处理状态的几种方式 In information technology and computer science, a ...

以前写的一篇文章 1. 找出定义 在解释新概念时，很多人喜欢类比或比喻，似乎只有这样，才能让抽象的概念更容易理解一些，然而非常不幸，这些不恰当的...

9. Control Flow Analysis If we introduce functions as values (and thereb...

5. Dataflow Analysis with Monotone Frameworks Dataflow Analysis Sign Analy...

0. Preface Static program analysis is the art of reasoning about the beh...

16. Error Handling 名词定义 错误检测（Detection）：判断输入字符串是否包含语法错误。错误恢复（Recovery）：找...

14. Parallel Parsing 名词定义 多个串行解析器（multiple serial parsers）：多个串行解析器并行执行，每...

10. Non-Canonical Parsers 名词定义 非经典的解析技术（Non-canonical paring methods）：通过...

9. Deterministic Bottom-Up Parsing 名词定义 handle：别识别出的字符串片段（segment），和产生是规...

8. Deterministic Top-Down Parsing 名词定义 确定性解析器（deterministic parser）：不需要搜...