PROBABILISTIC ALGORITHMS FOR DECIDING EQUIVALENCE OF STRAIGHT-LINE PROGRAMS

被引：66

作者：

IBARRA, OH

MORAN, S

机构：

来源：

关键词：

D O I：

10.1145/322358.322373

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：217 / 228

页数：12

共 19 条

IBARRA, OH ;

MORAN, S ;

ROSIER, LE .

[12]

Knuth D. E., 1969, ART COMPUTER PROGRAM, V2

[13]

MEYER AR, 1973, 5TH P ANN ACM S THEO, P1

[14]

MILLER G, 1975, THESIS U CALIFORNIA

[15]

MORAN S, 1979, 7929 U MINN COMP SCI

SCHWARTZ, JT .

[17]

VALIANT LG, 1979, 11TH P ANN ACM S THE, P249

[18]

Yemini Y., 1979, 20th Annual Symposium of Foundations of Computer Science, P1, DOI 10.1109/SFCS.1979.39

[19]

YEMINI Y, UNPUB SOME RANDOMLY