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 met

【作者】

：

ZHANG YingZhou

【机构】

：

CollegeofComputer,InstituteofComputerTechnology

【出处】

：

中国科学：F辑英文版

【发表日期】

：

2007年5期

【关键词】

：

程序限制程序分析计算机技术形式语义学 program slicing monads modularity slice monad transform

【基金项目】

：

Supported by the Natural Science Research Plan for High School of Jiangsu Province （Grant No. 05KJD520151）

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

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

其他文献

黄河三角洲地区科技创新问题研究

科技创新是推动区域经济发展的关键。黄河三角洲作为国家战略重点发展的高效生态经济区，其科技创新能力与半岛蓝色经济区和山东省的平均水平相比还存在一定的差距。借鉴珠三角

期刊

黄河三角洲科技创新问题研究

生态设计理念下的辽宁省乡镇文旅发展方案和举措研究

为牢固树立和贯彻落实"创新、协调、绿色、开放、共享"的发展理念,本文以辽宁省为例,针对全省文旅资源情况设计了辽宁省乡镇文旅发展的总体思路以及实施方案,并就当前面临的

期刊

生态设计乡镇建设人文旅游

压缩感知技术对3D mDIXON Quant定量分析肝脏脂肪的影响

目的探讨压缩感知(CS)技术不同加速因子对3D mDIXON Quant定量分析肝脏脂肪的影响。方法对20名成人志愿者行上腹部MRI,扫描序列包括传统SENSE-3D mDIXON Quant(SENSE组)和不

期刊

脂肪肝脂肪组织磁共振成像压缩感知fatty liveradipose tissuemagnetic resonance imagingcompresse

A novel formal approach to program slicing

其他学术论文