wanglei1167的博客

原创 浮点精度异常检测技术

1、 Automatic detection of floating-point exceptions 作者：Earl T. Barr Thanh Vo Vu Le Zhendong Su 单位：Department of Computer Science, University of California at Davis 出版：POPL’13 研究方向：浮点异常检测 主要技术点：符号执行 摘要...