Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,233,543 papers from all fields of science
Search
Sign In
Create Free Account
Program slicing
Known as:
Program slice
, Slicing
, Static slicing
In computer programming, program slicing is the computation of the set of programs statements, the program slice, that may affect the values at some…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
14 relations
Aspect-oriented software development
Computer programming
Data dependency
Delta Debugging
Expand
Broader (4)
Debugging
Program analysis
Program transformation
Software maintenance
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Software Verification and Validation Laboratory : Simulink Fault Localization : an Iterative Statistical Debugging Approach
Bing Liu
,
Lucia
,
S. Nejati
,
L. Briand
,
Thomas Bruckmann
2015
Corpus ID: 37412286
Debugging Simulink models presents a significant challenge in the embedded industry. In this work, we propose SimFL, a fault…
Expand
2009
2009
Dynamic parallelization of single-threaded binary programs using speculative slicing
Cheng Wang
,
Youfeng Wu
,
+5 authors
J. Fang
International Conference on Supercomputing
2009
Corpus ID: 14507812
The performance of single-threaded programs and legacy binary code is of critical importance in many everyday applications…
Expand
2007
2007
Slicing as a program transformation
Martin P. Ward
,
H. Zedan
TOPL
2007
Corpus ID: 8463011
The aim of this article is to provide a unified mathematical framework for program slicing which places all slicing work for…
Expand
2005
2005
A Parallel Algorithm for Static Program Slicing
P. K. Mishra
2005
Corpus ID: 14955640
Program slicing is the process of deleting statements in a program that do not aect a given set of variables at a chosen point in…
Expand
2004
2004
Human factors in extracting business rules from legacy systems
Xinyu Wang
,
Jianling Sun
,
Xiaohu Yang
,
Zhijun He
,
S. Maddineni
IEEE International Conference on Systems, Man and…
2004
Corpus ID: 214656
Business rules are operational rules based on data that business organizations follow to perform various activities. Systems that…
Expand
2003
2003
Inheritance of Temporal Logic Properties
H. Wehrheim
International Conference on Formal Methods for…
2003
Corpus ID: 7462959
Inheritance is one of the key features for the success of object-oriented languages. Inheritance (or specialisation) supports…
Expand
2002
2002
Static Dependency Analysis for Concurrent Ada 95 Programs
Zhengqiang Chen
,
Baowen Xu
,
Jianjun Zhao
,
Hongji Yang
International Conference on Reliable Software…
2002
Corpus ID: 18781164
Program dependency analysis is an analysis technique to identify and determine various program dependencies in program source…
Expand
2001
2001
Computing executable slices for concurrent logic programs
Jianjun Zhao
,
Jingde Cheng
,
K. Ushijima
Proceedings Second Asia-Pacific Conference on…
2001
Corpus ID: 11063044
Program slicing has many applications in software engineering activities. However, until recently, no slicing algorithm has been…
Expand
2000
2000
AN APPROACH TO ANALYZING AND UNDERSTANDING PROGRAM──PROGRAM SLICING
Li Bi
2000
Corpus ID: 62981288
Program slicing is a static analysis technique that extracts all statements relevant to the computation of a given variable…
Expand
1995
1995
Program comprehension assisted by slicing and transformation
M. Harman
,
S. Danicic
,
Y. Sivagurunathan
1995
Corpus ID: 10710210
Program slicing is a technique for program simpli cation based upon the deletion of statements which cannot a ect the values of a…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE