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 条

[21] COMPUTING WITH RECURSIVE TYPES
COSMADAKIS, SS
FOURTH ANNUAL SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, 1989, : 24 - 38
[22] A RECURSIVE ALGORITHM FOR COMPUTING CRAMER-RAO-TYPE BOUNDS ON ESTIMATOR COVARIANCE
HERO, A
FESSLER, JA
IEEE TRANSACTIONS ON INFORMATION THEORY, 1994, 40 (04) : 1205 - 1210
[23] A RECURSIVE ALGORITHM FOR COMPUTING THE WEIGHTED MOORE-PENROSE INVERSE AMN+
WANG, GR
CHEN, YL
JOURNAL OF COMPUTATIONAL MATHEMATICS, 1986, 4 (01) : 74 - 85
[24] A SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation
Cerutti, Federico
Giacomin, Massimiliano
Vallati, Mauro
Zanella, Marina
FOURTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2014, : 42 - 51
[25] Fast and stably recursive algorithm for computing second derivative of associated legendre functions
Su, Y. (suyongme@foxmail.com), 1600, Editorial Board of Medical Journal of Wuhan University (37):
[26] RoPM: An Algorithm for Computing Typical Testors Based on Recursive Reductions of the Basic Matrix
Pino Gomez, Joel
Hernandez Montero, Fidel Ernesto
Charles Sotelo, Joel
Gomez Mancilla, Julio Cesar
Villuendas Rey, Yenny
IEEE ACCESS, 2021, 9 : 128220 - 128232
[27] A new fast recursive algorithm for computing discrete Hartley transform and its implementation
Yu, PN
Hua, HP
SIGNAL PROCESSING, 2001, 81 (10) : 2235 - 2241
[28] EFFECTIVE RECURSIVE ALGORITHM FOR COMPUTING MULTIPLICATIVE INVERSES IN GF(2M)
ITOH, T
TSUJII, S
ELECTRONICS LETTERS, 1988, 24 (06) : 334 - 335
[29] A recursive algorithm for computing the distribution of the number of successes in higher-order Markovian trials
Martin, DEK
COMPUTATIONAL STATISTICS & DATA ANALYSIS, 2006, 50 (03) : 604 - 610
[30] A RECURSIVE ALGORITHM FOR COMPUTING THE PARTIAL FRACTION EXPANSION OF RATIONAL FUNCTIONS HAVING MULTIPLE POLES
BONGIORNO, JJ
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1984, 29 (07) : 650 - 652

← 1 2 3 4 5 →