THE EQUIVALENCE PROBLEM AND CORRECTNESS FORMULAS FOR A SIMPLE CLASS OF PROGRAMS

被引：0

|

作者：

IBARRA, OH ^{[1
]}

ROSIER, LE ^{[1
]}

机构：

[1] UNIV TEXAS,DEPT COMP SCI,AUSTIN,TX 78712

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1984年 / 176卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：330 / 338

页数：9

相关论文

共 50 条

[1] THE EQUIVALENCE PROBLEM AND CORRECTNESS FORMULAS FOR A SIMPLE CLASS OF PROGRAMS
IBARRA, OH
ROSIER, LE
[J]. INFORMATION AND CONTROL, 1985, 65 (01): : 18 - 41
[2] EQUIVALENCE PROBLEM OF SIMPLE PROGRAMS
TSICHRITZIS, D
[J]. JOURNAL OF THE ACM, 1970, 17 (04) : 729 - +
[3] THE COMPLEXITY OF THE EQUIVALENCE PROBLEM FOR SIMPLE PROGRAMS
GURARI, EM
IBARRA, OH
[J]. JOURNAL OF THE ACM, 1981, 28 (03) : 535 - 560
[4] THE COMPLEXITY OF THE EQUIVALENCE PROBLEM FOR SIMPLE LOOP-FREE PROGRAMS
IBARRA, OH
LEININGER, BS
[J]. SIAM JOURNAL ON COMPUTING, 1982, 11 (01) : 15 - 27
[5] A DECISION PROCEDURE FOR THE CORRECTNESS OF A CLASS OF PROGRAMS
MATETI, P
[J]. JOURNAL OF THE ACM, 1981, 28 (02) : 215 - 232
[6] HOMOMORPHISMS, CORRECTNESS, TERMINATION, UNFOLDMENTS, AND EQUIVALENCE OF FLOW DIAGRAM PROGRAMS
GOGUEN, JA
[J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1974, 8 (03) : 333 - 365
[7] PROGRAMS AS PARTIAL GRAPHS .1. FLOW EQUIVALENCE AND CORRECTNESS
SCHMIDT, G
[J]. THEORETICAL COMPUTER SCIENCE, 1981, 15 (01) : 1 - 25
[8] DECISION PROCEDURE FOR THE CORRECTNESS OF A CLASS OF PROGRAMS.
Mateti, Prabhaker
[J]. 1600, (28):
[9] On the equivalence problem for programs with mode switching
Podlovchenko, RI
Rusakov, DM
Zakharov, VA
[J]. IMPLEMENTATION AND APPLICATION OF AUTOMATA, 2006, 3845 : 351 - 352
[10] A case of insolubility of the problem of equivalence of programs
Shcherbina, V. L.
[J]. DISCRETE MATHEMATICS AND APPLICATIONS, 2011, 21 (01): : 131 - 144

← 1 2 3 4 5 →