核实浮点计算陷阱，由大卫Monniaux，在 ACM交易也打印了在编程语言和系统(TOPLAS)， 2008年5月： 浮动小数点无直觉的行为纲要在普遍的建筑学的，与程序验证和测试的涵义
基于16个网页-相关网页
应用推荐
模块上移
模块下移
不移动