The world of programming language theory

如何把程序语言理论相关的内容应用到信安领域上是我主要的研究方向.

下面是关于程序语言理论的一些笔记:

• 类型系统(Type Theory)
  1. Types and Programming Languages的读书笔记
• 证明论(Proof Theory)
  1. Proof Theory笔记
• 抽象解释(Abstract Interpretation)
  1. 经典抽象解释之Galois connection
• paper笔记
  1. PL73 A unified approach to global program optimization
  2. "Precise interprocedural dataflow analysis via graph reachability" by Reps, Horwitz, and Sagiv
  3. Path-Sensitive Sparse Analysis without Path Conditions
• 范畴化(Categorical Sementics)
  1. Categorical Semantics for STLC
• 安全应用(Security Implementation)
  1. Type System + Security = ?
• 杂物
  1. 关于Maple Algebra的这一路