SOME NATURAL STRUCTURES WHICH FAIL TO POSSESS A SOUND AND DECIDABLE HOARE-LIKE LOGIC FOR THEIR WHILE-PROGRAMS

被引：11

作者：

BERGSTRA, JA ^{[1
]}

TUCKER, JV ^{[1
]}

机构：

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

来源：

关键词：

D O I：

10.1016/0304-3975(82)90027-5

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：303 / 315

页数：13

共 25 条

[1]

Apt K. R., 1979, Theoretical Computer Science, V8, P73, DOI 10.1016/0304-3975(79)90058-6

[2]

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

[3]

BACK RJR, UNPUB ACTA INFORMAT

[4]

BERGSTRA JA, 1980, IW143 MATH CTR DEP C

[5]

BERGSTRA JA, 1980, IW149 MATH CTR DEP C

[6]

BERGSTRA JA, UNPUB THEORET COMPUT

CHERNIAVSKY, JC ;

KAMIN, SN .

CLARKE, EM .

COOK, SA .

[10]

DEBAKKER JW, 1980, MATH THEORY PROGRAM