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 条
  • [1] An Efficient Algorithm for Computing all Program Forward Static Slices
    Al Dallal, Jehad
    PROCEEDINGS OF WORLD ACADEMY OF SCIENCE, ENGINEERING AND TECHNOLOGY, VOL 16, 2006, 16 : 108 - 111
  • [2] An efficient method for computing dynamic program slices
    Goswami, D
    Mall, R
    INFORMATION PROCESSING LETTERS, 2002, 81 (02) : 111 - 117
  • [3] A recursive algorithm for computing the inverse of the Vandermonde matrix
    Ghassabeh, Youness Aliyari
    COGENT ENGINEERING, 2016, 3 (01):
  • [4] A recursive algorithm for computing steady state probabilities
    Valakevicius, Eimutis
    Snipas, Mindaugas
    WMSCI 2010: 14TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL I, 2010, : 188 - 192
  • [5] Matrix recursive polynomial interpolation algorithm: An algorithm for computing the interpolation polynomials
    Messaoudi, A.
    Sadaka, R.
    Sadok, H.
    JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, 2020, 373
  • [6] A Non-Recursive Algorithm Computing Set Expressions
    练林
    张一立
    唐常杰
    JournalofComputerScienceandTechnology, 1988, (04) : 310 - 316
  • [7] A Recursive Algorithm for Computing Inferences in Imprecise Markov Chains
    T'Joens, Natan
    Krak, Thomas
    De Bock, Jasper
    de Cooman, Gert
    SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, ECSQARU 2019, 2019, 11726 : 455 - 465
  • [8] A RECURSIVE ALGORITHM FOR COMPUTING EXACT RELIABILITY-MEASURES
    BAILEY, MP
    KULKARNI, VG
    IEEE TRANSACTIONS ON RELIABILITY, 1986, 35 (01) : 36 - 40
  • [9] RECURSIVE ALGORITHM FOR COMPUTING EXACT RELIABILITY MEASURES.
    Bailey, Michael Page
    Kulkarni, Vidyadhar G.
    IEEE Transactions on Reliability, 1986, R-35 (01) : 36 - 40
  • [10] A FAST RECURSIVE ALGORITHM FOR COMPUTING THE DISCRETE COSINE TRANSFORM
    HOU, HS
    IEEE TRANSACTIONS ON ACOUSTICS SPEECH AND SIGNAL PROCESSING, 1987, 35 (10): : 1455 - 1461
12345