A novel formal approach to program slicing

来源 :中国科学:F辑英文版 | 被引量 : 0次 | 上传用户:luorui2008
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Program slicing is a well-known program analysis technique that extracts the ele-ments of a program related to a particular computation. The current slicing meth-ods, however, are singular (mainly based on a program or system dependence graph), and lack g
其他文献
科技创新是推动区域经济发展的关键。黄河三角洲作为国家战略重点发展的高效生态经济区,其科技创新能力与半岛蓝色经济区和山东省的平均水平相比还存在一定的差距。借鉴珠三角
为牢固树立和贯彻落实"创新、协调、绿色、开放、共享"的发展理念,本文以辽宁省为例,针对全省文旅资源情况设计了辽宁省乡镇文旅发展的总体思路以及实施方案,并就当前面临的
目的探讨压缩感知(CS)技术不同加速因子对3D mDIXON Quant定量分析肝脏脂肪的影响。方法对20名成人志愿者行上腹部MRI,扫描序列包括传统SENSE-3D mDIXON Quant(SENSE组)和不