Spatial Interpolants
Spatial Interpolants
复制标题
空间插值
DOI：
10.48550/arxiv.1501.04100
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Albarghouthi Aws
中科院分区：
文献类型：
--
作者：
Albarghouthi Aws
登录
查看更多内容
改进 TVLA：使参数形状分析具有竞争力
影响因子：
3.3
作者：
Igor Bogudlov;T. Lev;T. Reps;Shmuel Sagiv
通讯作者：
Shmuel Sagiv
学习线性数据结构的通用量化不变量
DOI：
10.1007/978-3-642-39799-8_57
发表时间：
2013
期刊：
ArXiv
影响因子：
--
作者：
P. Garg;Christof Löding;P. Madhusudan;D. Neider
通讯作者：
D. Neider
反例引导焦点
DOI：
10.1145/1706299.1706330
发表时间：
2010
期刊：
影响因子：
--
作者：
A. Podelski;T. Wies
通讯作者：
T. Wies
DOI：
--
发表时间：
2006
期刊：
Program Analysis and Compilation
影响因子：
--
作者：
R. Manevich;J. Field;T. Henzinger;G. Ramalingam;Shmuel Sagiv
通讯作者：
Shmuel Sagiv
惰性形状分析
DOI：
10.1007/11817963_48
发表时间：
2006
期刊：
ACM Trans. Program. Lang. Syst.
影响因子：
--
作者：
Dirk Beyer;T. Henzinger;Grégory Théoduloz
通讯作者：
Grégory Théoduloz