Facebook pixel tracking

The Science and Information (SAI) Organization publishes open-access peer-reviewed journals in computer science and artificial intelligence.

Contact Info
Email info@thesai.org
Website thesai.org
Follow Us
Contact Info
Email info@thesai.org
Follow Us
Research Article | Open Access |

Static Analysis on Floating-Point Programs Dealing with Division Operations

Author 1: MG Thushara Author 2: K. Somasundaram
International Journal of Advanced Computer Science and Applications (IJACSA) · Vol. 10, No. 10 · Published 2019 · Cited by 8

DOI: https://doi.org/10.14569/IJACSA.2019.0101058

Download PDF Cite Call for Papers

Abstract

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.

Keywords

Abstract interpretation static analysis forward analysis abstract domain

How to Cite this Article

Thushara, M., & Somasundaram, K. (2019). Static Analysis on Floating-Point Programs Dealing with Division Operations. International Journal of Advanced Computer Science and Applications, 10(10). https://doi.org/10.14569/IJACSA.2019.0101058

Thushara, MG, and K. Somasundaram. "Static Analysis on Floating-Point Programs Dealing with Division Operations." International Journal of Advanced Computer Science and Applications, vol. 10, no. 10, 2019, https://doi.org/10.14569/IJACSA.2019.0101058.

@article{Thushara2019,
  title     = {Static Analysis on Floating-Point Programs Dealing with Division Operations},
  journal   = {International Journal of Advanced Computer Science and Applications},
  volume    = {10},
  number    = {10},
  year      = {2019},
  publisher = {The Science and Information Organization},
  author    = {MG Thushara and K. Somasundaram},
  doi       = {10.14569/IJACSA.2019.0101058},
  url       = {https://doi.org/10.14569/IJACSA.2019.0101058}
}

Open Access — licensed under a Creative Commons Attribution 4.0 International License. Unrestricted use, distribution, and reproduction in any medium, even commercially, as long as the original work is properly cited.

Back to Issue
IJACSA Journal Cover

IJACSA