ON CORRECT REFINEMENT OF PROGRAMS

被引：41

作者：

BACK, RJR

机构：

来源：

关键词：

D O I：

10.1016/0022-0000(81)90005-2

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：49 / 68

页数：20

共 22 条

[1]

BACK RJR, 1980, CORRECTNESS PRESERVI

[2]

BACK RJR, 1979, 5TH P SCAND LOG S

[3]

BAUER FL, 1979, LECT NOTES COMPUTER, V69, P273

[4]

BROY M, 1979, LECT NOTES COMPUTER, V69, P553

[5]

BROY M, 1980, LECT NOTES COMPUT SC, V83, P59

[6] TRANSFORMATION SYSTEM FOR DEVELOPING RECURSIVE PROGRAMS [J].

BURSTALL, RM ;

DARLINGTON, J .

[7] PROVING PROGRAMS CORRECT THROUGH REFINEMENT [J].

CORRELL, CH .

[8]

DEBAKKER JW, 1980, MATH THEORY PROGRAM

[9]

Dijkstra E. W., 1968, BIT (Nordisk Tidskrift for Informationsbehandling), V8, P174, DOI 10.1007/BF01933419

[10]

Dijkstra E. W., 1976, DISCIPLINE PROGRAMMI