A parallel algorithm for static program slicing

被引：21
|
作者：
Danicic, S [1 ]
Harman, M [1 ]
Sivagurunathan, Y [1 ]
机构：
[1] UNIV N LONDON,SCH COMP,PROJECT PROJECT,LONDON N7 8DB,ENGLAND
来源：
INFORMATION PROCESSING LETTERS | 1995年 / 56卷 / 06期
关键词：
slicing; parallel algorithms; program simplification;
D O I：
10.1016/0020-0190(95)00170-0
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Program Slicing is the process of deleting statements in a program that do not affect a given set of variables at a chosen point in the program. In this paper the first parallel slicing algorithm for static program slicing is introduced. It is shown how the control flow graph of the program to be sliced is converted into a network of concurrent processes, thereby producing a parallel version of Weiser's original static slicing algorithm.
引用
收藏
页码：307 / 313
页数：7
相关论文
共 50 条
  • [21] Program Slicing:Its Improved Algorithm and Application in Verification
    陆奇
    张福波
    钱家骅
    JournalofComputerScienceandTechnology, 1988, (01) : 29 - 39
  • [22] Crosscutting invariant and an efficient checking algorithm using program slicing
    Jia, Lv
    Jing, Ying
    hui, Wu Ming
    Hong, Jin Cang
    ACM SIGPLAN NOTICES, 2008, 43 (02) : 12 - 20
  • [23] Research on the Algorithm for Coarse-Grained Web Program Slicing
    Du, Lin
    Han, Yehong
    PROCEEDINGS OF THE 2015 2ND INTERNATIONAL CONFERENCE ON ELECTRICAL, COMPUTER ENGINEERING AND ELECTRONICS (ICECEE 2015), 2015, 24 : 1260 - 1264
  • [24] Crosscutting invariant and an efficient checking algorithm using program slicing
    College of Computer Science and Technology, Zhejiang University, Hangzhou, China
    ACM SIGPLAN Not., 2008, 2 (12-20):
  • [25] Program slicing
    Harman, M
    Gallagher, KB
    INFORMATION AND SOFTWARE TECHNOLOGY, 1998, 40 (11-12) : 577 - 581
  • [26] Program Slicing
    Gallagher, Keith
    Binkley, David
    2008 FRONTIERS OF SOFTWARE MAINTENANCE, 2008, : 58 - 67
  • [27] PROGRAM SLICING
    WEISER, M
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1984, 10 (04) : 352 - 357
  • [28] A PRACTICAL ALGORITHM FOR STATIC ANALYSIS OF PARALLEL PROGRAMS
    MCDOWELL, CE
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 1989, 6 (03) : 515 - 536
  • [29] A compiling algorithm of parallel C program
    Xiong, ZY
    Zhang, YF
    DCABES 2001 PROCEEDINGS, 2001, : 37 - 39
  • [30] FACT: Fast Communication Trace Collection for Parallel Applications through Program Slicing
    Zhai, Jidong
    Sheng, Tianwei
    He, Jiangzhou
    Chen, Wenguang
    Zheng, Weimin
    PROCEEDINGS OF THE CONFERENCE ON HIGH PERFORMANCE COMPUTING NETWORKING, STORAGE AND ANALYSIS, 2009,
12345