PATHLISTINGS APPLIED TO DATA FLOW-ANALYSIS

被引：0

|

作者：

RAMANATHAN, J ^{[1
]}

KENNEDY, K ^{[1
]}

机构：

[1] RICE UNIV,DEPT MATH SCI,HOUSTON,TX 77001

来源：

ACTA INFORMATICA | 1981年 / 16卷 / 03期

关键词：

D O I：

10.1007/BF00289306

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：253 / 273

页数：21

相关论文

共 50 条

[1] A LUBRICANT FOR DATA FLOW-ANALYSIS
ROSEN, BK
[J]. SIAM JOURNAL ON COMPUTING, 1982, 11 (03) : 493 - 511
[2] LINEAR DATA FLOW-ANALYSIS
RYAN, S
[J]. SIGPLAN NOTICES, 1992, 27 (04): : 59 - 67
[3] DATA FLOW-ANALYSIS FOR COBOL
KAO, H
CHEN, TY
[J]. SIGPLAN NOTICES, 1984, 19 (07): : 18 - 21
[4] DATA FLOW-ANALYSIS OF RECURSIVE PROCEDURES
FAIRFIELD, P
HENNELL, MA
[J]. SIGPLAN NOTICES, 1988, 23 (01): : 48 - 57
[5] A DENOTATIONAL FRAMEWORK FOR DATA FLOW-ANALYSIS
NIELSON, F
[J]. ACTA INFORMATICA, 1982, 18 (03) : 265 - 287
[6] ELIMINATION ALGORITHMS FOR DATA FLOW-ANALYSIS
RYDER, BG
PAULL, MC
[J]. COMPUTING SURVEYS, 1986, 18 (03) : 277 - 316
[7] DATA FLOW-ANALYSIS OF PROGRAM NETS
ONAGA, K
CHEN, WK
[J]. JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 1982, 313 (04): : 219 - 231
[8] DATA FLOW-ANALYSIS AS MODEL CHECKING
STEFFEN, B
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 526 : 346 - 364
[9] MONOIDS FOR RAPID DATA FLOW-ANALYSIS
ROSEN, BK
[J]. SIAM JOURNAL ON COMPUTING, 1980, 9 (01) : 159 - 196
[10] AN INCREMENTAL VERSION OF ITERATIVE DATA FLOW-ANALYSIS
POLLOCK, LL
SOFFA, ML
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1989, 15 (12) : 1537 - 1549

← 1 2 3 4 5 →