PROOF RULES FOR GOTOS

被引：20

作者：

ARBIB, MA ^{[1
]}

ALAGIC, S ^{[1
]}

机构：

[1] UNIV SARAJEVO,FAC ELECTROTECH,DEPT INFORMAT,YU-71000 SARAJEVO,YUGOSLAVIA

来源：

关键词：

D O I：

10.1007/BF00264021

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：139 / 148

页数：10

共 12 条

[1]

Alagic S., 1978, DESIGN WELL STRUCTUR

[2]

ASCHROFT EA, 1976, ACTA INFORMAT, V6, P317

[3]

CLINT N, 1972, ACTA INFORM, V1, P214

[4] GO TO STATEMENT CONSIDERED HARMFUL [J].

DIJKSTRA, EW .

[5]

DIJKSTRA EW, 1968, COMM ACM, V11, P541

[6]

DIJKSTRA EW, 1968, COMM ACM, V11, P538

[7]

Hoare C. A. R., 1973, Acta Informatica, V2, P335, DOI 10.1007/BF00289504

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

HOARE, CAR .

[9] PROOF OF A PROGRAM - FIND [J].

HOARE, CAR .

[10]

HOARE CAR, 1969, COMMUN ACM, V12, P583