A CRITIQUE OF THE FOUNDATIONS OF HOARE STYLE PROGRAMMING LOGICS

被引：17

作者：

ODONNELL, MJ

机构：

来源：

关键词：

D O I：

10.1145/358728.358748

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：927 / 935

页数：9

共 24 条

[1]

Alagic S., 1978, DESIGN WELL STRUCTUR

[2]

APT KR, 1978, IW78 MATH CENTR REP

[3] PROOF RULES FOR GOTOS [J].

ARBIB, MA ;

ALAGIC, S .

ASHCROFT, EA ;

CLINT, M ;

HOARE, CAR .

CLARKE, EM .

[6]

Constable R. L., 1978, PROGRAMMING LOGIC

COOK, SA .

[8]

DEBAKKER JW, 1981, CORRECTNESS PROGRAMS

[9]

DEBRUIN A, 1978, GOTO STATEMENTS SEMA

[10]

DEBRUIN A, 1980, MATH THEORY PROGRAM, pCH10