FLOYD PRINCIPLE, CORRECTNESS THEORIES AND PROGRAM EQUIVALENCE

被引：7

作者：

BERGSTRA, JA

TIURYN, J

TUCKER, JV

机构：

[1] MATH CTR,DEPT COMP SCI,1098 SJ AMSTERDAM,NETHERLANDS

[2] UNIV WARSAW,INST MATH,PL-00901 WARSAW,POLAND

来源：

关键词：

D O I：

10.1016/0304-3975(82)90001-9

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：113 / 149

页数：37

共 35 条

[1]

APT KR, 1979, 5TH P SCAND LOG S, P1

[2]

BANACHOWSKI L, 1977, INTRO ALGORITHMIC LO, V2, P7

[3]

BERGSTRA JA, 1980, IW136 MATH CTR DEP C

[4]

BROY M, 1979, 6TH P INT C AUTOMATA, P73

[5]

CHANG C. C., 1973, MODEL THEORY

COOK, SA .

[7]

COOK SA, 1975, ALGOL79 U TOR DEP CO

[8]

DEBAKKER JW, 1980, MATH THEORY PROGRAM

[9]

DEBAKKER JW, 1973, MATH CTR TRACTS, V24

[10]

Dijkstra E. W., 1976, DISCIPLINE PROGRAMMI