[BHRZ05]。 凸多面体的精确加宽算子 计算机程序设计科学 2005 58 1–2 28 56 2167566 1088.68173 10.1016/j.scico.2005.02.003 谷歌学者 数字图书馆 【BIL06】。 平面参数计数器自动机 自动机、语言和编程 2006 海德堡 施普林格 577 588 10.1007/11787006_49 谷歌学者 数字图书馆 [BW94]。 周期集的符号验证 计算机辅助验证 1994 海德堡 施普林格 55 67 10.1007/3-540-58179-0_43 谷歌学者 [CC77]。 抽象解释:通过构造或近似不动点对程序进行静态分析的统一格模型 程序。 第四交响乐团。 程序设计语言原理 1977 纽约 美国计算机协会出版社 238 252 谷歌学者 [CC92]。 比较伽罗瓦联系和扩大/缩小抽象解释方法 程序设计语言实现与逻辑程序设计 1992 海德堡 施普林格 269 295 10.1007/3-540-55844-6_142 谷歌学者 【CH78】。 程序变量间线性约束的自动发现 程序。 第五届ACM研讨会。 程序设计语言原理 1978 纽约 美国计算机协会出版社 84 96 谷歌学者 【CJ98】。 多计数器自动机、安全分析和Presburger算法 计算机辅助验证 1998 海德堡 施普林格 268 279 2007年10月10日/BFb0028751 谷歌学者 [FIS03]。 井抽象转换系统:在FIFO自动机中的应用 信息与计算 2003 181 1 1 31 1953755 1054.68092 10.1016/S0890-5401(02)00027-5 谷歌学者 数字图书馆 [FL02]。 如何撰写Presburger加速:广播协议的应用 2002年FSTTCS 2002 海德堡 施普林格 145 156 谷歌学者 [GH06]。 线性关系分析中加宽与加速的结合 静态分析 2006 海德堡 施普林格 144 160 10.1007/11823230_10 谷歌学者 数字图书馆 [GS66]。 半群、普雷斯伯格公式和语言 太平洋数学杂志。 1966 16 2 285 296 191770 143.01602 谷歌学者 交叉引用 [Kar76]。 程序变量之间的仿射关系 信息学报 1976 6 133 141 408293 358.68025 2007年10月10日/BF00268497 谷歌学者 数字图书馆 [LS07]。 加速数据流分析 SAS 2007 2007 海德堡 施普林格 184 199 谷歌学者 [Min01]。 一种新的基于差分矩阵的数值抽象域 程序作为数据对象 2001 海德堡 施普林格 155 172 10.1007/3-540-44978-7_10 谷歌学者 [附表86]。 线性与整数规划理论 1986 奇切斯特 威利 665.90063 谷歌学者 数字图书馆 [SSM04]。 基于约束的线性关系分析 静态分析 2004 海德堡 施普林格 53 68 10.1007/978-3-540-27864-1_7 谷歌学者 [SW05]。 无加宽区间分析的一类多项式可解区间约束 理论计算机科学 2005 345 1 122 138 2178958 1078.68154 2016年10月10日/j.tcs.2005.07.035 谷歌学者 数字图书馆
建议
自由下压控制流量分析 POPL’16:第43届ACM SIGPLAN-IGACT编程语言原理年度研讨会论文集 传统的高阶语言控制流分析(CFA)在调用者和被调用者之间引入了虚假连接,函数的不同调用可能会污染彼此的返回流。 最近,有三种不同的方法。。。