×

自动检测浮点异常。 (英语) Zbl 1301.68087

第40届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,2013年1月23-25日,意大利罗马,POPL'13。纽约,纽约:计算机械协会(ACM)(ISBN 978-1-4503-1832-7)。549-560(2013年)。

理学硕士:

68N19 其他编程范例(面向对象、顺序、并发、自动等)
68N30型 软件工程的数学方面(规范、验证、度量、需求等)
65G99型 误差分析与区间分析
65Y99型 数值算法的计算机方面

软件:

GSL公司
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接