RangeLab:限定有限精度计算精度的静态分析器

M. Martel
{"title":"RangeLab:限定有限精度计算精度的静态分析器","authors":"M. Martel","doi":"10.1109/SYNASC.2011.52","DOIUrl":null,"url":null,"abstract":"This article introduces Range Lab, a simple tool to validate the accuracy of floating-point or fixed-point computations. Given intervals for the inputs, Range Lab computes the range of the outputs of simple functions with conditionals and loops as well as a range for the round off errors arising during the computation. Hence the user not only obtains the range of the result of the computation in the computer arithmetic but also a bound on the difference between the computer result and the result in infinite precision. Range Lab is based on static analysis by abstract interpretation and, in this article, we describe the techniques implemented in the tool. In particular, Range Lab uses a hybrid numerical-formal evaluation technique used to limit the wrapping effect in interval computations.","PeriodicalId":184344,"journal":{"name":"2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","volume":"54 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2011-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"RangeLab: A Static-Analyzer to Bound the Accuracy of Finite-Precision Computations\",\"authors\":\"M. Martel\",\"doi\":\"10.1109/SYNASC.2011.52\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This article introduces Range Lab, a simple tool to validate the accuracy of floating-point or fixed-point computations. Given intervals for the inputs, Range Lab computes the range of the outputs of simple functions with conditionals and loops as well as a range for the round off errors arising during the computation. Hence the user not only obtains the range of the result of the computation in the computer arithmetic but also a bound on the difference between the computer result and the result in infinite precision. Range Lab is based on static analysis by abstract interpretation and, in this article, we describe the techniques implemented in the tool. In particular, Range Lab uses a hybrid numerical-formal evaluation technique used to limit the wrapping effect in interval computations.\",\"PeriodicalId\":184344,\"journal\":{\"name\":\"2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing\",\"volume\":\"54 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2011-09-26\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SYNASC.2011.52\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SYNASC.2011.52","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 5

摘要

本文介绍了Range Lab,这是一个验证浮点或定点计算精度的简单工具。给定输入的间隔,Range Lab计算具有条件和循环的简单函数的输出范围,以及计算过程中产生的舍入误差的范围。这样,用户不仅可以得到计算机算法中计算结果的范围,还可以得到无限精度下计算结果与计算结果之差的界。Range Lab基于抽象解释的静态分析,在本文中,我们描述了该工具中实现的技术。特别地,Range Lab使用混合数值-形式评估技术来限制区间计算中的包裹效应。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
RangeLab: A Static-Analyzer to Bound the Accuracy of Finite-Precision Computations
This article introduces Range Lab, a simple tool to validate the accuracy of floating-point or fixed-point computations. Given intervals for the inputs, Range Lab computes the range of the outputs of simple functions with conditionals and loops as well as a range for the round off errors arising during the computation. Hence the user not only obtains the range of the result of the computation in the computer arithmetic but also a bound on the difference between the computer result and the result in infinite precision. Range Lab is based on static analysis by abstract interpretation and, in this article, we describe the techniques implemented in the tool. In particular, Range Lab uses a hybrid numerical-formal evaluation technique used to limit the wrapping effect in interval computations.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信