摘要
PDF章节
其他人正在查看的类似内容
工具书类
库索,P.,库索,R.:程序动态特性的静态测定。 摘自:国际编程研讨会,第106-130页(1976年) 库索,P.,库索,R.:终止的抽象解释框架。 收录于:POPL,第245-258页(2012年) Cousot,P.,Halbwachs,N.:程序变量之间线性约束的自动发现。 收录于:POPL,第84-96页(1978年) Jeannet,B.,Miné,A.: 停机坪 :用于静态分析的数值抽象域库。 收录:Bouajjani,A.,Maler,O.(编辑)CAV 2009。 LNCS,第5643卷,第661-667页。 斯普林格,海德堡(2009) Miné,A.:八角形抽象域。 高阶和符号计算19(1),31–100(2006) Urban,C.:分段排序函数的抽象域。 摘自:Logozzo,F.,Fähndrich,M.(编辑)《静态分析》。 LNCS,第7935卷,第43–62页。 斯普林格,海德堡(2013) Urban,C.,Miné,A.:推断序数值排序函数的抽象域。 摘自:邵,Z.(编辑)《2014年员工持股计划》(ETAPS)。 LNCS,第8410卷,第412-431页。 斯普林格,海德堡(2014) Urban,C.,Miné,A.:用于证明条件终止的决策树抽象域。 摘自:Müller-Olm,M.,Seidl,H.(编辑)《静态分析》。 LNCS,第8723卷,第302-318页。 斯普林格,海德堡(2014)
作者信息
作者和附属机构
通讯作者
编辑器信息
编辑和附属机构
权利和权限
版权信息
关于本论文
引用本文
下载引文
内政部 : https://doi.org/10.1007/978-3-662-46681-0_46 发布者名称 : 施普林格、柏林、海德堡 打印ISBN : 978-3-662-46680-3 在线ISBN : 978-3-662-46681-0