#exp

如果你在一篇论文中读到对静态分析的描述，你会发现什么？会有一些可爱的语言模型。也许有一些描述分析本身的推理规则，但这些规则可能依赖于各种帮助器函数。如今，分析可能涉及一些逻辑推理：关于语言中的术语、分支条件句等。 是什么使一种语言适合实现这样的分析？您需要各种功能： Aaron Bembenek、Steve Chon......