几何学 搜索术语几何学在里面任何字段.查询是与案件无关.
 搜索澳大利亚雷神和ti公司tle公司. 这个and运算符&是默认值,可以省略.
切比雪夫 这个or运算符|允许搜索切比雪夫或切比雪夫.
"准地图", 结果文件有p出版是的耳朵 1989.
so:欧元*J*材料*Soc*cc:14 搜索特定出版物所以乌尔奇用一个数学学科C分类c颂歌(复写的副本)在里面14.
 这个d文件t类型设置为书本;或者:j对于期刊文章一对于书籍文章.
洛杉矶:中国人 在给定的洛杉矶语言.ISO 639-1标准也可以使用语言代码.
Kuncak,Viktor(编辑)等人,验证,模型检查和抽象解释.2012年第13届国际会议,美国宾夕法尼亚州费城,2012年1月22日至24日.诉讼程序.柏林:斯普林格出版社(ISBN 978-3-642-27939-3/pbk).计算机科学课堂讲稿7148267-282(2012).
摘要:无法解析的间接分支指令是从机器码静态重建控制流程图(CFG)的主要障碍.如果静态分析无法精确计算分支的可能目标集,则必要的保守过近似会引入大量伪边,导致更不精确和退化CFG.
在这篇文章中,我们建议利用近似下的杠杆来处理这个问题.我们为控制流重建提供了一个抽象的解释框架,在过度近似和欠近似之间交替进行.实际上,该框架根据需求对程序施加了额外的先决条件,从而避免了对间接分支的保守过度近似.
我们给出了一个使用动态观察的执行跟踪和持续传播的框架实例.我们报告了初步的实验结果,证实我们的交替分析产生的CFG更接近于混凝土CFG,而不是单纯的过度或欠近似.
[7] Cousot,P.,Cousot,R.:抽象解释:通过构造或近似不动点对程序进行静态分析的统一格模型.进入:第四届ACM专题讨论会.编程语言原理(POPL 1977),第238-252页(1977年1月)
此参考列表基于出版商或数字数学图书馆提供的信息.它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误.它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性.