1. 首页
  2. 编程语言
  3. 其他
  4. 论文研究区间幂集抽域及其在浮点程序分析中的应用 .pdf

论文研究区间幂集抽域及其在浮点程序分析中的应用 .pdf

上传者: 2019-12-31 23:31:09上传 PDF文件 582.45KB 热度 57次
区间幂集抽域及其在浮点程序分析中的应用,姜加红,陈立前,浮点变量在程序中的取值范围对浮点程序中相关性质的分析及运行时错误的检查具有重要意义.浮点运算的不精确性使得浮点变量的值范��
下载地址
用户评论