LOOPING VS REPEATING IN DYNAMIC LOGIC

被引：18

作者：

HAREL, D

SHERMAN, R

机构：

来源：

INFORMATION AND CONTROL | 1982年 / 55卷 / 1-3期

关键词：

D O I：

10.1016/S0019-9958(82)90553-8

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：175 / 192

页数：18

共 11 条

[1]

CLARKE EM, 1982, AUTOMATIC VERIFICATI

[2]

EMERSON EA, 1982, 14TH P ACM S THEOR C

[3] PROPOSITIONAL DYNAMIC LOGIC OF REGULAR PROGRAMS [J].

FISCHER, MJ ;

LADNER, RE .

[4]

HAREL D, 1983, HDB PHILOS LOGIC, V2

[5]

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

[6]

Hopcroft J.E., 1979, INTRO AUTOMATA THEOR

[7] TESTING AND GENERATING INFINITE SEQUENCES BY A FINITE AUTOMATON [J].

MCNAUGHTON, R .

INFORMATION AND CONTROL, 1966, 9 (05) :521-+

[8] EXPRESSING PROGRAM LOOPING IN REGULAR DYNAMIC LOGIC [J].

MEYER, AR ;

WINKLMANN, K .

[9]

PRATT VR, 1976, 17TH P IEEE S F COMP

[10]

STREET RS, 1981, THESIS MASS I TECH C