SYSTEMATIC DETECTION OF EXCEPTION OCCURRENCES

被引：9

作者：

BEST, E ^{[1
]}

CRISTIAN, F ^{[1
]}

机构：

[1] UNIV NEWCASTLE UPON TYNE,COMP LAB,NEWCASTLE TYNE NE1 7RU,TYNE & WEAR,ENGLAND

来源：

关键词：

D O I：

10.1016/0167-6423(81)90007-1

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：115 / 144

页数：30

相关论文

共 15 条

[1]

CRISTIAN F, 1980, 10TH P INT S FAULT T

[2]

CRISTIAN F, UNPUB ACTA INFORMAT

[3]

DEBAKKER JW, 1980, MATH THEORY PROGRAM

[4]

Dijkstra E. W., 1976, DISCIPLINE PROGRAMMI

[5]

DIJKSTRA EW, 1979, LECTURE NOTES COMPUT, V69, P47

[6]

FLOYD RW, 1967, APPLIED MATH, V19

[7]

GERHART SL, 1978, ISIRR7871 USC ISI

[8]

GRIES D, 1979, LECTURE NOTES COMPUT, V69, P113

[9]

HOARE CAR, 1969, COMM ACM, V12

[10]

HORNING J, 1974, P C OPERATING SYSTEM