×
伯爵·T·巴尔。；Vo和Thanh；勒、伏；苏振东

自动检测浮点异常。 （英语） Zbl 1301.68087号

2013年1月23日至25日，意大利罗马，POPL'13，第40届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1832-7）。549-560（2013年）。

引用于6文件

MSC公司：

68甲19 其他编程范式（面向对象、顺序、并发、自动等）
68号30 软件工程的数学方面（规范、验证、度量、需求等）
65G99型 误差分析和区间分析
65岁99岁 数值算法的计算机方面

关键词：

浮点异常；符号执行

软件：

GSL公司
PDF格式BibTeX公司 XML格式引用
\textit{E.T.Barr}等人，in：第40届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’13，意大利罗马，2013年1月23日至25日。纽约州纽约市：计算机协会（ACM）。549-560（2013；Zbl 1301.68087）
全文： 内政部