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

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

2013年1月23日至25日在意大利罗马举行的第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）
全文： 内政部