Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
A brief survey of program slicing
B Xu, J Qian, X Zhang, Z Wu, L Chen - ACM SIGSOFT Software …, 2005 - dl.acm.org
Program slicing is a technique to extract program parts with respect to some special
computation. Since Weiser first proposed the notion of slicing in 1979, hundreds of papers …
computation. Since Weiser first proposed the notion of slicing in 1979, hundreds of papers …
An overview of program slicing
Abstract MARK HARMAN and ROBERT HIERONS review three semantic paradigms for
slicing—static, dynamic and conditioned; and two syntactic paradigms—syntax‐preserving …
slicing—static, dynamic and conditioned; and two syntactic paradigms—syntax‐preserving …
Efficiently computing static single assignment form and the control dependence graph
R Cytron, J Ferrante, BK Rosen, MN Wegman… - ACM Transactions on …, 1991 - dl.acm.org
In optimizing compilers, data structure choices directly influence the power and efficiency of
practical program optimization. A poor choice of data structure can inhibit optimization or …
practical program optimization. A poor choice of data structure can inhibit optimization or …
A core calculus of dependency
Notions of program dependency arise in many settings: security, partial evaluation, program
slicing, and call-tracking. We argue that there is a central notion of dependency common to …
slicing, and call-tracking. We argue that there is a central notion of dependency common to …
A formal model of program dependences and its implications for software testing, debugging, and maintenance
A formal, general model of program dependences is presented and used to evaluate several
dependence-based software testing, debugging, and maintenance techniques. Two …
dependence-based software testing, debugging, and maintenance techniques. Two …
Debugging with dynamic slicing and backtracking
H Agrawal, RA DeMillo… - Software: Practice and …, 1993 - Wiley Online Library
Programmers spend considerable time debugging code. Symbolic debuggers provide some
help but the task remains complex and difficult. Other than breakpoints and tracing, these …
help but the task remains complex and difficult. Other than breakpoints and tracing, these …
The program dependence web: a representation supporting control-, data-, and demand-driven interpretation of imperative languages
The Program Dependence Web (PDW) is a program representation that can be directly
interpreted using control-, data-, or demand-driven models of execution. A PDW combines a …
interpreted using control-, data-, or demand-driven models of execution. A PDW combines a …
Combining analyses, combining optimizations
C Click, KD Cooper - ACM Transactions on Programming Languages …, 1995 - dl.acm.org
Modern optimizing compilers use several passes over a program's intermediate
representation to generate good code. Many of these optimizations exhibit a phase-ordering …
representation to generate good code. Many of these optimizations exhibit a phase-ordering …
The semantic approach to program slicing
GA Venkatesh - Proceedings of the ACM SIGPLAN 1991 conference on …, 1991 - dl.acm.org
Program slicing is a source-to-source transformation that has applications in construction,
analysis, testing and debugging of programs. A program slice contains the portion of a …
analysis, testing and debugging of programs. A program slice contains the portion of a …
[PDF][PDF] Global code motion/global value numbering
C Click - Proceedings of the ACM SIGPLAN 1995 conference on …, 1995 - dl.acm.org
We believe that optimizing compilers should treat the machine-independent
optimizations(eg, conditional constant propagation, global value numbering) and code …
optimizations(eg, conditional constant propagation, global value numbering) and code …