HOARE LOGIC FOR PROGRAMMING-LANGUAGES WITH 2 DATA-TYPES

被引：0

作者：

BERGSTRA, JA ^{[1
]}

TUCKER, JV ^{[1
]}

机构：

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

来源：

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：215 / 221

页数：7

共 9 条

[1]

[Anonymous], 1976, MATH LOGIC, DOI DOI 10.1007/978-1-4684-9452-5

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

APT, KR .

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

[3] ANOTHER INCOMPLETENESS RESULT FOR HOARE LOGIC [J].

BERGSTRA, JA ;

CHMIELINSKA, A ;

TIURYN, J .

INFORMATION AND CONTROL, 1982, 52 (02) :159-171

[4]

BERGSTRA JA, 1983, J COMPUT SYSTEM SCI, V25, P267

[5] CORRECTION [J].

COOK, SA .

COOK, SA .

[7]

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

[8] AN AXIOMATIC BASIS FOR COMPUTER PROGRAMMING [J].

HOARE, CAR .

[9]

TUCKER JV, UNPUB MONOGRAPH