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 条

[41] A RECURSIVE ALGORITHM FOR COMPUTING THE PARTIAL FRACTION EXPANSION OF RATIONAL FUNCTIONS HAVING MULTIPLE POLES - COMMENT
URAZ, A
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1986, 31 (01) : 92 - 93
[42] Recursive Algorithm for Computing Correlation Function Expansion Parameters Based on Orthogonal Laguerre Functions.
Volkov, I.I.
Batishchev, V.I.
Izvestia vyssih ucebnyh zavedenij. Priborostroenie, 1980, 23 (07): : 29 - 33
[43] Design and Implementation of Cyclic Redundancy Check with Variable Computing Width Based on Formula Recursive Algorithm
Chen Ronq
Chen Lan
Wahla, Arfan Haider
JOURNAL OF ELECTRONICS & INFORMATION TECHNOLOGY, 2020, 42 (05) : 1261 - 1267
[44] AN EFFICIENT NON-RECURSIVE ALGORITHM FOR COMPUTING THE RELIABILITY OF K-OUT-OF-N SYSTEMS
SARJE, AK
PRASAD, EV
IEEE TRANSACTIONS ON RELIABILITY, 1989, 38 (02) : 234 - 235
[45] A new recursive algorithm for computing generating functions in closed multi-class queueing networks
Harrison, PG
Lee, TT
IEEE COMPUTER SOCIETY'S 12TH ANNUAL INTERNATIONAL SYMPOSIUM ON MODELING, ANALYSIS, AND SIMULATION OF COMPUTER AND TELECOMMUNICATIONS SYSTEMS - PROCEEDINGS, 2004, : 231 - 238
[46] A RECURSIVE ALGORITHM FOR COMPUTING THE PARTIAL FRACTION EXPANSION OF RATIONAL FUNCTIONS HAVING MULTIPLE POLES - REPLY
BONGIORNO, JJ
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1986, 31 (01) : 93 - 93
[47] A RECURSIVE ALGORITHM FOR GMDH
WANG, XF
LIU, D
SYSTEMS ANALYSIS MODELLING SIMULATION, 1990, 7 (07): : 533 - 542
[48] On the recursive greedy algorithm
Livshits, E. D.
IZVESTIYA MATHEMATICS, 2006, 70 (01) : 87 - 108
[49] A parallel/recursive algorithm
Gibbs, WR
JOURNAL OF COMPUTATIONAL PHYSICS, 2004, 201 (02) : 573 - 585
[50] Recursive algorithm for LASSO
Kaneda Y.
Irizuki Y.
1600, Institute of Electrical Engineers of Japan (136): : 915 - 922

← 1 2 3 4 5 →