Static Analysis for Logic-based Dynamic Programs
Static Analysis for Logic-based Dynamic Programs
复制标题
基于逻辑的动态程序的静态分析
DOI：
10.4230/lipics.csl.2015.308
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Thomas Zeume
中科院分区：
文献类型：
--
作者：
Thomas Schwentick;Nils Vortmeier;Thomas Zeume
登录
查看更多内容
影响因子：
0.5
作者：
Gelade, Wouter;Marquardt, Marcel;Schwentick, Thomas
通讯作者：
Schwentick, Thomas
确定性 FOIES 较弱
影响因子：
1.2
作者：
Guozhu Dong;Jianwen Su
通讯作者：
Jianwen Su
数据记录查询的非递归增量评估
影响因子：
1.2
作者：
Guozhu Dong;Jianwen Su;R. Topor
通讯作者：
R. Topor
关系演算和SQL中递归查询不可能递减重新计算的问题
DOI：
--
发表时间：
1995
期刊：
International Workshop/Symposium on Database Programming Languages
影响因子：
--
作者：
Guozhu Dong;L. Libkin;L. Wong
通讯作者：
L. Wong
关于可达性的无量词动态复杂性
影响因子：
1
作者：
T. Zeume;T. Schwentick
通讯作者：
T. Schwentick