文件名称：论文研究-区间幂集抽域及其在浮点程序分析中的应用 .pdf
文件大小：582KB
文件格式：PDF
更新时间：2022-09-06 17:09:28
浮点程序; 静态分析;
区间幂集抽域及其在浮点程序分析中的应用，姜加红，陈立前，浮点变量在程序中的取值范围对浮点程序中相关性质的分析及运行时错误的检查具有重要意义.浮点运算的不精确性使得浮点变量的值范��
论文研究-区间幂集抽域及其在浮点程序分析中的应用 .pdf
【文件属性】：
文件名称：论文研究-区间幂集抽域及其在浮点程序分析中的应用 .pdf
文件大小：582KB
文件格式：PDF
更新时间：2022-09-06 17:09:28
浮点程序; 静态分析;
区间幂集抽域及其在浮点程序分析中的应用，姜加红，陈立前，浮点变量在程序中的取值范围对浮点程序中相关性质的分析及运行时错误的检查具有重要意义.浮点运算的不精确性使得浮点变量的值范��