NONDETERMINISTIC FLOWCHART PROGRAMS WITH RECURSIVE PROCEDURES - SEMANTICS AND CORRECTNESS .1.

被引：10

作者：

GALLIER, JH

机构：

来源：

关键词：

D O I：

10.1016/0304-3975(81)90039-6

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：193 / 223

页数：31

共 31 条

[1]

AHO AV, 1977, PRINCIPLES COMPILER, P604

[2]

ARNOLD A, 1978, 784 U PAR 7 TECHN RE

[3]

ARNOLD A, 1977, IRIA262 TECHN REP

[4]

ARNOLD A, 1977, THESIS U LILLE 1

[5]

ASHCROFT EA, 1970, MACH INTELL, V6, P17

[6]

Bakker J.W. de, 1976, AUTOMATA LANGUAGES P, P435

[7]

BURSTALL RM, 1975, LECTURE NOTES COMPUT, V25, P126

[8]

Constable R. L., 1972, SIAM Journal on Computing, V1, P66, DOI 10.1137/0201006

[9]

COURCELLE B, 1976, 17TH IEEE S FOCS, P137

[10]

COURCELLE B, 1976, THESIS U PARIS 7