程序分析问题的语义解决方案
摘要：计划分析中的问题可以通过开发新颖的程序语义和传统上生成抽象来解决。30多年来，高阶程序分析一直被认为是一个困难的问题。其解决方案要求有智慧和复杂的近似模型。我们认为这种困难是由于过早关注抽象而导致的，并提出了一种强调语义的新方法。它的简单性使得可以进行超越现有技术水平的新分析。
作者：Sam Tobin-Hochstadt and David Van Horn
论文ID：1105.0106
分类：Programming Languages
分类简称：cs.PL
提交时间：2011-05-03