CORRECT AND ROBUST PROGRAMS

被引：26

作者：

CRISTIAN, F ^{[1
]}

机构：

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

来源：

关键词：

D O I：

10.1109/TSE.1984.5010218

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：163 / 174

页数：12

共 18 条

[1] PROOF RULES FOR GOTOS [J].

ARBIB, MA ;

ALAGIC, S .

[2]

BACK RJR, 1979, IW125 MATH CENT REP

[3]

BERRY DM, 1980, COMPUT LANGUAGES, V5

[4] SYSTEMATIC DETECTION OF EXCEPTION OCCURRENCES [J].

BEST, E ;

CRISTIAN, F .

[5]

BRON C, 1976, 150 TWENT U REP

[6]

COCO N, 1982, COMPUT LANGUAGES, V7

[7]

CRISTIAN F, 1983, IBM RJ3754 RES REP

[8]

CRISTIAN F, 1982, IEEE T COMPUT, V31

[9]

CRISTIAN F, 1982, ACTA INFORMATICA, V17

[10]

CRISTIAN F, 1983, ISF20 GES MATH DAT A