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

被引：8

作者：

GALLIER, JH

机构：

来源：

关键词：

D O I：

10.1016/S0304-3975(81)80001-1

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：239 / 270

页数：32

共 34 条

[21]

HAREL D, 1977, CORRECTNESS REGULAR

[22]

HAREL D, 1977, 9TH P S THEOR COMP B, P261

[23]

Hoare C. A. R., 1971, Lecture notes in mathematics CLXXXVIII. Symposium on semantics of algorithmic languages, P102

[24]

Igarashi S., 1975, Acta Informatica, V4, P145, DOI 10.1007/BF00288746

[25]

Lipton R. J., 1977, 18th Annual Symposium on Foundations of Computer Science, P1, DOI 10.1109/SFCS.1977.1

[26] FORMALIZATION OF PROPERTIES OF FUNCTIONAL PROGRAMS [J].

MANNA, Z ;

PNUELI, A .

[27] CORRECTNESS OF NONDETERMINISTIC PROGRAMS [J].

MANNA, Z .

[28] IS SOMETIME SOMETIMES BETTER THAN ALWAYS [J].

MANNA, Z ;

WALDINGER, R .

[29]

Manna Z., 1971, LECT NOTES MATH, V188, P252

[30]

MANNA Z, 1974, MATH THEORY COMPUTAT