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