.png){kind=icon}
返回
Conditioned program slicing
.png){kind=icon}
PRE
AI
DOI：10.1016/S0950-5849(98)00086-X.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Slicing is a technique to decompose programs based on the analysis of the control and data flow. In the original Weiser's definition, a slice consists of any subset of program statements preserving the behaviour of the original program with respect to a program point and a subset of the program variables (slicing criterion), for any execution path. We present conditioned slicing, a general slicing model based on statement deletion. A conditioned slice consists of a subset of program statements which preserves the behaviour of the original program with respect to a slicing criterion for a given set of execution paths. The set of initial states of the program that characterise these paths is specified in the form of a first order logic formula on the input variables. We also show how slices deriving from other statement deletion based slicing models can be defined as conditioned slices. This is used to formally define a partial ordering relation between slicing models and to build a classification framework. (C) 1998 Elsevier Science B.V. All rights reserved.
Keyword:
conditioned slicing
program slicing
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
4.3
论文数:
3.8K
被引数:
7.7K
机构
暂无机构信息
引用论文
The effect of different sweep lengths on the length composition of bottom-sampling trawl catches
OAAI
OAAI分享收藏The crystal structure of vicanite-(Ce), a borosilicate showing an unusual (Si3B3O18)15−polyanion
PREAI
分享收藏Late Bronze Age climate change and the destruction of the Mycenaean Palace of Nestor at Pylos青铜时代晚期的气候变化和皮洛斯内斯特迈锡尼宫的破坏.png)
PLOS ONEOAAI
PLOS ONEIF0
OAAI分享收藏
查看更多内容