An algorithm for computing slices for recursive program

被引：1
|
作者：
Ueda, R
Lian, L
Torii, K
机构：
[1] OSAKA UNIV,FAC ENGN SCI,TOYONAKA,OSAKA 560,JAPAN
[2] NARA WOMENS UNIV,DEPT FOOD SCI & NUTR,IKOMA,NARA 630,JAPAN
来源：
SYSTEMS AND COMPUTERS IN JAPAN | 1996年 / 27卷 / 03期
关键词：
program dependence graph; reaching definition set; recursion; control dependence graph; data dependence;
D O I：
10.1002/scj.4690270305
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Program slicing is a useful technique for debugging, testing and program integration. Intuitively, by the slice of a program P is meant, for a point n and a variable v in P, the set of statements and expressions in P that affect the value of v at n. To determine a slice, there must be a precise analysis of the dependencies among the statements in the program. It is difficult, on the other hand, to analyze the program containing recursions.
引用
收藏
页码：46 / 59
页数：14
相关论文
共 50 条
  • [31] A linear-time algorithm for computing the diameters of the incomplete WK-recursive networks
    Su, MY
    Chen, GH
    Duh, DR
    1996 INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 1996, : 90 - 97
  • [32] A fast recursive GIS algorithm for computing Strahler stream order in braided and nonbraided networks
    Gleyzer, A
    Denisyuk, M
    Rimmer, A
    Salingar, Y
    JOURNAL OF THE AMERICAN WATER RESOURCES ASSOCIATION, 2004, 40 (04): : 937 - 946
  • [33] A Piecewise and Bi-recursive Algorithm for Computing High-order Krawtchouk Moments
    Li, Bo
    Zhang, Yuqi
    PROCEEDINGS OF 2015 4TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND NETWORK TECHNOLOGY (ICCSNT 2015), 2015, : 1414 - 1418
  • [34] A parallel recursive shortest spanning tree algorithm for image segmentation in distributed computing environment
    Kwok, SH
    Constantinides, AG
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 1999, 56 (03) : 181 - 207
  • [35] Novel recursive and symmetric algorithm of fast computing two kinds of orthogonal radial moments
    Fu, B.
    Zhou, J. -Z.
    Li, Y. -H.
    Peng, B.
    Liu, L. -Y.
    Wen, J. -Q.
    IMAGING SCIENCE JOURNAL, 2008, 56 (06): : 333 - 341
  • [36] Rigid Subchain Detection Algorithm of Mechanism Kinematic Chain and Realization of Recursive Program
    LI Tao
    International Journal of Plant Engineering and Management, 2020, 25 (03) : 171 - 185
  • [37] A CASE-STUDY - PARALLEL PROGRAM-DEVELOPMENT FOR A RECURSIVE NUMERICAL ALGORITHM
    GORLATCH, S
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 605 : 945 - 946
  • [38] Computing Recursive SPARQL Queries
    Atzori, Maurizio
    2014 IEEE INTERNATIONAL CONFERENCE ON SEMANTIC COMPUTING (ICSC), 2014, : 258 - 259
  • [39] A recursive method for computing interpolants
    Barrera, D.
    Sbibih, D.
    Serghini, A.
    Tijini, A.
    JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, 2008, 216 (02) : 435 - 450
  • [40] Understanding Program Slices
    Hajnal, Akos
    Forgacs, Istvan
    ACTA CYBERNETICA, 2012, 20 (04): : 483 - 497
12345