FORMAL METHODS APPLIED TO A FLOATING-POINT NUMBER SYSTEM

被引：33

作者：

BARRETT, G

机构：

来源：

关键词：

D O I：

10.1109/32.24710

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：611 / 622

页数：12

共 11 条

[1]

BARETT G, 1987, PRG58 OXF U COMP LAB

[2] A SIMPLE BUT REALISTIC MODEL OF FLOATING-POINT COMPUTATION [J].

BROWN, WS .

ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE, 1981, 7 (04) :445-480

[3]

DUCROZ J, 1984, NAG NEWSLETT, V3, P3

[4]

Hayes I., 1986, SPECIFICATION CASE S

[5]

JOSEPHS MB, FORMAL METHODS STEPW

[6] SPECIFICATION STATEMENTS AND REFINEMENT [J].

MORGAN, C ;

ROBINSON, K .

[7]

SCHRYER NL, 1981, 89 BELL LAB COMP SCI

[8]

SHEPHERD D, 1987, SPECIFICATION DEV CO

[9]

Spivey M., 1988, UNDERSTANDING Z SPEC

[10]

WICHMANN BA, 1986, NPL DITC7686 REP