PROVING TOTAL CORRECTNESS OF NONDETERMINISTIC PROGRAMS IN INFINITARY LOGIC

被引：15

作者：

BACK, RJR ^{[1
]}

机构：

[1] MATH CENTRUM,1098 SJ AMSTERDAM,NETHERLANDS

来源：

关键词：

D O I：

10.1007/BF00289263

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：233 / 249

页数：17

相关论文

共 21 条

[1]

BACK RJR, 1980, 7TH P C AUT LANG PRO, P51

[2]

BACK RJR, 1980, CORRECTNESS PRESERVI

[3]

BANACHOWSKI L, 1977, MATH F COMPUTER SCI, P7

[4]

BARWISE J, 1977, HDB MATH LOGIC PP, P00005

[5]

BOOM HJ, 1978, IW10478 MATH CTR AMS

[6]

CONSTABLE RL, 1977, 9TH P ANN ACM S THEO, P269

[7]

Dickmann MA, 1975, LARGE INFINITARY LAN

[8]

Dijkstra E. W., 1976, DISCIPLINE PROGRAMMI

[9]

ENGELER E, 1975, F COMPUTER SCI, P57

[10]

ENGELER E, 1968, LECT NOTES MATH, V72, P64