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
其他文献
<正> 在机机零件的制造过程中,常常会遇到具有弯曲形状的构件,这就牵涉到一个合理选取坯料长度的问题。这里介绍一种简单实用的方法,供现场施工人员参考。
Message total ordering is a critical part in active replication in order to maintain consistency among members in a fault tolerant group. The paper proposes a n
Ensuring the correctness and reliability of large-scale resource sharing and complex job processing is an important task for grid applications. From a formal me
花青素是植物中一类重要的类黄酮化合物,在植物花朵、果实等器官色泽形成和抗氧化过程中起着重要作用。植物组织中花青素的形成依赖于光信号,但是光信号对花青素生物合成的调
科技创新是推动区域经济发展的关键。黄河三角洲作为国家战略重点发展的高效生态经济区,其科技创新能力与半岛蓝色经济区和山东省的平均水平相比还存在一定的差距。借鉴珠三角
为牢固树立和贯彻落实"创新、协调、绿色、开放、共享"的发展理念,本文以辽宁省为例,针对全省文旅资源情况设计了辽宁省乡镇文旅发展的总体思路以及实施方案,并就当前面临的
目的探讨压缩感知(CS)技术不同加速因子对3D mDIXON Quant定量分析肝脏脂肪的影响。方法对20名成人志愿者行上腹部MRI,扫描序列包括传统SENSE-3D mDIXON Quant(SENSE组)和不
<正> 由国家计委、化工部和四川省科委批复的由南化公司设计院设计的银山磷肥厂年产三万吨磷铵工业性试验装置,于1987年12月24日进行第一次化工试车,28日生产出粒状磷酸一铵
写作是语文教学中重要的组成部分,在初中语文教学中占据着至关重要的位置。通过写作,不仅可以使学生的语言表达能力得到有效的锻炼,而且还能够确保学生在表达时语言的规范性