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 条
  • [31] Reducing parallel program simulation complexity by static analysis
    Aversa, R
    Di Martino, B
    Mazzocca, N
    Villano, U
    JOURNAL OF SUPERCOMPUTING, 2000, 17 (03): : 299 - 310
  • [32] Reducing parallel program simulation complexity by static analysis
    Aversa, R
    Di Martino, B
    Mazzocca, N
    Villano, U
    INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, PROCEEDINGS, 1999, : 627 - 633
  • [33] Reducing Parallel Program Simulation Complexity by Static Analysis
    Rocco Aversa
    Beniamino Di Martino
    Nicola Mazzocca
    Umberto Villano
    The Journal of Supercomputing, 2000, 17 : 299 - 310
  • [34] Static Slicing of Rewrite Systems
    Cheda, Diego
    Silva, Josep
    Vidal, German
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 177 (123-136) : 123 - 136
  • [35] Static slicing of reactive programs
    Kulkarni, AR
    Ramesh, S
    THIRD IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION - PROCEEDINGS, 2003, : 98 - 107
  • [36] ORBS and the Limits of Static Slicing
    Binkley, David
    Gold, Nicolas
    Harman, Mark
    Islam, Syed
    Krinke, Jens
    Yoo, Shin
    2015 IEEE 15TH INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION (SCAM), 2015, : 1 - 10
  • [37] Static slicing for pervasive programs
    Lu, Heng
    Chan, W. K.
    Tse, T. H.
    QSIC 2006: SIXTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2006, : 185 - +
  • [38] Static slicing and parametric polymorphism
    Byers, D
    Kamkar, M
    FIRST IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, 2001, : 179 - 184
  • [39] Practical Change Impact Analysis Based on Static Program Slicing for Industrial Software Systems
    Acharya, Mithun
    Robinson, Brian
    2011 33RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2011, : 746 - 755
  • [40] An Interactive Ranking Algorithm for Program Static Analysis
    Sun, Liang
    Lin, Wenfeng
    Shu, Shaoxian
    Li, Liuying
    2021 21ST INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C 2021), 2021, : 242 - 249
12345