EXPRESSING PROGRAM LOOPING IN REGULAR DYNAMIC LOGIC

被引：12

作者：

MEYER, AR ^{[1
]}

WINKLMANN, K ^{[1
]}

机构：

[1] WASHINGTON STATE UNIV,DEPT COMP SCI,PULLMAN,WA 99164

来源：

关键词：

D O I：

10.1016/0304-3975(82)90071-8

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：301 / 323

页数：23

共 15 条

[1]

Dijkstra E. W., 1976, DISCIPLINE PROGRAMMI

[2]

GREIBACH SA, 1975, LECTURE NOTES COMPUT, V36

[3]

GREIF I, 1979, MIT130 LAB COMP SCI

[4]

HAREL D, 1978, THESIS MIT

[5]

HAREL D, 1978, 5TH P ACM S PRINC PR, P203

[6]

HAREL D, 1979, LECTURE NOTES COMPUT, V68

[7] SOME PROPERTIES OF PREDICATE TRANSFORMERS [J].

HOARE, CAR .

[8]

HOSSLEY R, 1972, 13TH ANN S SWITCH AU

[9]

MEYER AR, 1981, UNPUB J COMPUT SYSTE

[10]

MEYER AR, 1980, 12TH C P ANN ACM S T, P1