2 THEOREMS ABOUT THE COMPLETENESS OF HOARES LOGIC

被引：6

作者：

BERGSTRA, JA ^{[1
]}

TUCKER, JV ^{[1
]}

机构：

[1] UNIV LEEDS,DEPT COMP STUDIES,LEEDS LS2 9JT,W YORKSHIRE,ENGLAND

来源：

关键词：

D O I：

10.1016/0020-0190(82)90095-3

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：143 / 149

页数：7

共 14 条

[1] 10 YEARS OF HOARE LOGIC - A SURVEY .1. [J].

APT, KR .

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1981, 3 (04) :431-483

BERGSTRA, JA ;

TUCKER, JV .

[3]

BERGSTRA JA, UNPUB J COMPUT SYSTE

[4]

BERGSTRA JA, 1982, LECTURE NOTES COMPUT, V131

[5]

BERGSTRA JA, 1981, LECTURE NOTES COMPUT, V131

[6]

BERGSTRA JA, 1981, LECTURE NOTES COMPUT, V115

[7]

BERGSTRA JA, 1982, UNPUB THEORET COMPUT, V22

[8]

BERGSTRA JA, 1981, THEORET COMPUT SCI, V17, P113

COOK, SA .

[10]

de Bakker Jaco., 1980, Mathematical Theory of Program Correctness