ON FLOWCHART THEORIES .1. THE DETERMINISTIC CASE

被引：18

作者：

STEFANESCU, G

机构：

来源：

JOURNAL OF COMPUTER AND SYSTEM SCIENCES | 1987年 / 35卷 / 02期

关键词：

D O I：

10.1016/0022-0000(87)90011-0

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：163 / 191

页数：29

共 38 条

[1] PARTIALLY ADDITIVE CATEGORIES AND FLOW-DIAGRAM SEMANTICS [J].

ARBIB, MA ;

MANES, EG .

JOURNAL OF ALGEBRA, 1980, 62 (01) :203-227

[2] CAN PROGRAMMING BE LIBERATED FROM VON NEUMANN STYLE - FUNCTIONAL STYLE AND ITS ALGEBRA OF PROGRAMS [J].

BACKUS, J .

COMMUNICATIONS OF THE ACM, 1978, 21 (08) :613-641

[3]

BACKUS J, 1985, LECT NOTES COMPUT SC, V185, P60

[4] AXIOMATIZING SCHEMES AND THEIR BEHAVIORS [J].

BLOOM, SL ;

ESIK, Z .

JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1985, 31 (03) :375-393

[5] VECTOR ITERATION IN POINTED ITERATIVE THEORIES [J].

BLOOM, SL ;

ELGOT, CC ;

WRIGHT, JB .

SIAM JOURNAL ON COMPUTING, 1980, 9 (03) :525-540

[6] SOLUTIONS OF THE ITERATION EQUATION AND EXTENSIONS OF THE SCALAR ITERATION OPERATION [J].

BLOOM, SL ;

ELGOT, CC ;

WRIGHT, JB .

SIAM JOURNAL ON COMPUTING, 1980, 9 (01) :25-45

[7] EXISTENCE AND CONSTRUCTION OF FREE ITERATIVE THEORIES [J].

BLOOM, SL ;

ELGOT, CC .

JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1976, 12 (03) :305-318

[8]

BLOOM SL, 1978, J COMPUT SYSTEM SCI, V16, P362

[9] ON CONTEXT-FREE TREES [J].

CAZANESCU, VE .

THEORETICAL COMPUTER SCIENCE, 1985, 41 (01) :33-50

[10]

CAZANESCU VE, 1982, INCREST PREPRINT SER, V75

← 1 2 3 4 →