共 32 条
[1]
Aho A.V, 1986, COMPILERS PRINCIPLES
[2]
BARNETT D, 1987, UNPUB PORTABLE FLOAT
[3]
A SIMPLE BUT REALISTIC MODEL OF FLOATING-POINT COMPUTATION
[J].
ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE,
1981, 7 (04)
:445-480
[4]
Cardelli L, 1989, 52 DIG SYST RES CTR
[6]
Cody WJ, 1988, RELIABILITY COMPUTIN, P99
[8]
UNDERFLOW AND THE RELIABILITY OF NUMERICAL SOFTWARE
[J].
SIAM JOURNAL ON SCIENTIFIC AND STATISTICAL COMPUTING,
1984, 5 (04)
:887-919
[10]
Forsythe G., 1967