以前写的一篇文章 1. 处理状态的几种方式 In information technology and compu...[作者空间]
以前写的一篇文章 1. 找出定义 在解释新概念时，很多人喜欢类比或比喻，似乎只有这样，才能让抽象的概念更容易理解一...[作者空间]
9. Control Flow Analysis If we introduce functions as val...[作者空间]
5. Dataflow Analysis with Monotone Frameworks Dataflow Anal...[作者空间]
0. Preface Static program analysis is the art of reasonin...[作者空间]
16. Error Handling 名词定义 错误检测（Detection）：判断输入字符串是否包含语法错误。错...[作者空间]
14. Parallel Parsing 名词定义 多个串行解析器（multiple serial parsers...[作者空间]
10. Non-Canonical Parsers 名词定义 非经典的解析技术（Non-canonical par...[作者空间]
9. Deterministic Bottom-Up Parsing 名词定义 handle：别识别出的字符串片段...[作者空间]
8. Deterministic Top-Down Parsing 名词定义 确定性解析器（determinist...[作者空间]
6. General Directional Top-Down Parsing 名词定义 下推自动机（pushdo...[作者空间]
5. Regular Grammars and Finite-State Automata 名词定义 识别器（re...[作者空间]
3. Introduction to Parsing 名词定义 有歧义的句子（ambiguous sentence...[作者空间]
1. Introduction 名词定义 文法推断（grammatical inference）：给定一组句子，找...[作者空间]
（接上文） 6. General Directional Top-Down Parsing 名词定义 下推自动机（...[作者空间]
（接上文） 3. Introduction to Parsing 名词定义 有歧义的句子（ambiguous se...[作者空间]
1. Introduction 名词定义 文法推断（grammatical inference）：给定一组句子，找...[作者空间]
密码算法和协议，主要可以分为4个领域：（1）对称加密：用于加密任意大小的数据块，或数据流的内容，包括消息、文件、加...[作者空间]
1. 积类型 在类型理论中，类型的积（product）是一个复合类型（compounded type），积运算的操...[作者空间]
1. 变型（variance） 很多编程语言支持子类型（subtyping）。 例如，如果Cat是Animal的子...[作者空间]
