A GENERALIZED ITERATIVE CONSTRUCT AND ITS SEMANTICS

被引：6

作者：

ANSON, E ^{[1
]}

机构：

[1] NORTHEASTERN UNIV,BOSTON,MA 02115

来源：

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1987年 / 9卷 / 04期

关键词：

COMPUTER PROGRAM VERIFICATION - CORRECTNESS PROOFS - ITERATIVE CONSTRUCTS;

D O I：

10.1145/29873.30391

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：567 / 581

页数：15

共 8 条

[1] MULTIPLE EXITS FROM A LOOP WITHOUT GOTO [J].

BOCHMANN, GV .

[2]

Dijkstra E. W., 1976, DISCIPLINE PROGRAMMI

[3] MULTIPLE EXITS FROM A LOOP USING NEITHER GO TO NOR LABELS [J].

EVANS, RV .

[4] COMMUNICATING SEQUENTIAL PROCESSES [J].

HOARE, CAR .

[5]

NEWMAN WM, 1979, PRINCIPLES INTERACTI, P65

[6] A CRITIQUE OF THE FOUNDATIONS OF HOARE STYLE PROGRAMMING LOGICS [J].

ODONNELL, MJ .

[7] A GENERALIZED CONTROL STRUCTURE AND ITS FORMAL DEFINITION [J].

PARNAS, DL .

[8]

Wirth N., 1977, Software - Practice and Experience, V7, P3