首页    期刊浏览 2024年11月27日 星期三
登录注册

文章基本信息

  • 标题:Static Analysis on Floating-Point Programs Dealing with Division Operations
  • 本地全文:下载
  • 作者:MG Thushara ; K. Somasundaram
  • 期刊名称:International Journal of Advanced Computer Science and Applications(IJACSA)
  • 印刷版ISSN:2158-107X
  • 电子版ISSN:2156-5570
  • 出版年度:2019
  • 卷号:10
  • 期号:10
  • 页码:422-425
  • 出版社:Science and Information Society (SAI)
  • 摘要:Numerical accuracy is a critical point in safe computations when it comes to floating-point programs. Given a certain accuracy for the inputs of a program, the static analysis computes a safe approximation of the accuracy on the outputs. This accuracy depends on the propagation of the errors on the data and on the round-off errors on the arithmetic operations performed during the execution. Floating point values disposes a large dynamic range. But the main pitfall is the inaccuracies that occur with floating point computations. Based on the theory of abstract interpretation, in the paper an upper bound to the precision of the results of these computations in program have been demonstrated.
  • 关键词:interpretation; static analysis; forward analysis; abstract domain
国家哲学社会科学文献中心版权所有