ALGORITHM FOR REDUCTION OF OPERATOR STRENGTH

被引：49

作者：

COCKE, J

KENNEDY, K

机构：

[1] IBM CORP,THOMAS J WATSON RES CTR,YORKTOWN HTS,NY 10598

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

来源：

COMMUNICATIONS OF THE ACM | 1977年 / 20卷 / 11期

关键词：

Software testing;

D O I：

10.1145/359863.359888

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

A simple algorithm which uses an indexed temporary table to perform reduction of operator strength in strongly connected regions is presented. Several extensions, including linear function test replacement, are discussed. These algorithms should fit well into an integrated package of local optimization algorithms. © 1977 ACM.

引用

页码：850 / 856

页数：7

共 12 条

[1]

Allen F.E., 1970, ACM SIGPLAN NOTICES, V5, P1, DOI DOI 10.1145/390013.808479

[2]

ALLEN FE, 1969, ANNUAL REV AUTOMATIC, V5

[3]

COCKE J, 1974, 4760933 RIC U DEP MA

[4]

Cocke John, 1970, PROGRAMMING LANGUAGE

[5] ANALYSIS OF GRAPHS BY ORDERING OF NODES [J].

EARNEST, CP ;

BALKE, KG ;

ANDERSON, J .

JOURNAL OF THE ACM, 1972, 19 (01) :23-&

[6]

Hecht M. S., 1972, SIAM Journal on Computing, V1, P188, DOI 10.1137/0201014

[7] SAFETY OF CODE MOTION [J].

KENNEDY, K .

INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 1972, 3 (2-3) :117-130

[8] GLOBAL FLOW ANALYSIS ALGORITHM [J].

KENNEDY, K .

INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 1971, 3 (01) :5-&

[9]

KENNEDY K, 1975, 4760939 RIC U DEP MA

[10]

KENNEDY K, 1974, VARIABLE SUBSUMPTION

← 1 2 →