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
关键词
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 条
  • [1] A parallel algorithm for static slicing of concurrent programs
    Goswami, D
    Mall, R
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2004, 16 (08): : 751 - 769
  • [2] Improved program dependence graph and algorithm for static slicing concurrent programs
    Xiao, JY
    Zhang, DY
    Chen, HQ
    Hao, D
    ADVANCED PARALLEL PROCESSING TECHNOLOGIES, PROCEEDINGS, 2005, 3756 : 121 - 130
  • [3] JSSlicer: A static program slicing tool for JavaScript
    Wang, Liming
    Xian, Ying
    Zhang, Li
    Liu, Xiyang
    Applied Mechanics and Materials, 2013, 241-244 : 2690 - 2695
  • [4] Enhancing static and dynamic views with program slicing
    Rilling, J
    Seffah, A
    6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL VIII, PROCEEDINGS: CONCEPTS AND APPLICATIONS OF SYSTEMICS, CYBERNETICS AND INFORMATICS II, 2002, : 109 - 114
  • [5] Static slicing for PLC program with ladder transformation
    Wang Da
    Zhao Qianchuan
    PROCEEDINGS OF THE 29TH CHINESE CONTROL CONFERENCE, 2010, : 6025 - 6030
  • [6] A monadic slicing algorithm for a program with pointers
    Zhang Y.-Z.
    Wu Z.-Q.
    Qian J.
    Zhang W.-F.
    Xu B.-W.
    Jisuanji Xuebao/Chinese Journal of Computers, 2010, 33 (03): : 473 - 482
  • [7] Improved algorithm for static slicing of concurrent programs
    Xiao, Jian-Yu
    Zhang, De-Yun
    Chen, Hai-Quan
    Dong, Hao
    Jisuanji Gongcheng/Computer Engineering, 2006, 32 (14): : 14 - 16
  • [8] A slicing algorithm suitable for program modification
    Ohta, T
    Watanabe, T
    Mizuno, T
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1996, E79A (04) : 540 - 546
  • [9] Static program slicing algorithms are minimal for free liberal program schemas
    Danicic, S
    Fox, C
    Harman, M
    Hierons, R
    Howroyd, J
    Laurence, MR
    COMPUTER JOURNAL, 2005, 48 (06): : 737 - 748
  • [10] A Learning-Based Approach to Static Program Slicing
    Yadavally, Aashish
    Li, Yi
    Wang, Shaohua
    Nguyen, Tien N.
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (OOPSLA):