97
Voted
TOPLAS
2008
15 years 20 days ago
2008
Current critical systems often use a lot of floating-point computations, and thus the testing or static analysis of programs containing floatingpoint operators has become a priori...