摘要：抽象解释的导演方法：高阶和命令式编程语言的抽象机器的透明均可靠的静态分析。
作者：David Van Horn and Matthew Might
论文ID：1107.3539
分类：Programming Languages
分类简称：cs.PL
提交时间：2011-07-19
PDF 下载： 英文版 中文版pdf翻译中