|
论文《基于浮点区间幂集抽象域的浮点程序分析》发表于第十一届全国软件与应用学术会议(NASAC2012)。该文提出一种新的浮点程序分析方法，利用浮点区间幂集抽象域来精确描述和分析浮点运算的不确定性。通过引入区间和幂集的结合，提高了对浮点程序中误差传播的建模能力，为程序验证和错误检测提供了有效支持。 文档为pdf格式，0.77MB，总共9页。
- 文件大小:
- 788.48 KB
- 下载次数:
- 60
- 基于浮点区间幂集抽象域的浮点程序分析 - 第十一届全国软件与应用学术会议(NASAC2012).pdf ...
-
高速下载
| 
