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 .
SIAM JOURNAL ON COMPUTING, 1981, 10 (03) :612-612
[6]   SOUNDNESS AND COMPLETENESS OF AN AXIOM SYSTEM FOR PROGRAM VERIFICATION [J].
COOK, SA .
SIAM JOURNAL ON COMPUTING, 1978, 7 (01) :70-90
[7]  
de Bakker Jaco., 1980, Mathematical Theory of Program Correctness
[8]   AN AXIOMATIC BASIS FOR COMPUTER PROGRAMMING [J].
HOARE, CAR .
COMMUNICATIONS OF THE ACM, 1969, 12 (10) :576-&
[9]  
TUCKER JV, UNPUB MONOGRAPH