Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. Trustworthy Numerical Computation in Scala
 
Loading...
Thumbnail Image
conference paper

Trustworthy Numerical Computation in Scala

Darulova, Eva  
•
Kuncak, Viktor  
2011
Acm Sigplan Notices
ACM Conf. on Object-Oriented Programming, Systems, Languages, and Applications

Modern computing has adopted the floating point type as a default way to describe computations with real numbers. Thanks to dedicated hardware support, such computations are efficient on modern architectures. However, rigorous reasoning about the resulting programs remains difficult, because of a large gap between the finite floating point representation and the infinite-precision real-number semantics that serves as the mental model for the developers. Because programming languages do not provide support for estimating errors, some computations in practice are performed more and some less precisely than needed. We present a library solution for rigorous arithmetic computation. Our numerical data type library tracks a (double) floating point value, but also a guaranteed upper bound on the error between this value and the ideal value that would be computed in the real-value semantics. Our implementation involves a set of linear approximations based on an extension of affine arithmetic. The derived approximations cover most of the standard mathematical operations including trigonometric functions, and are more comprehensive than any publicly available ones. Moreover, while interval arithmetic rapidly yields overly pessimistic estimates, our approach remains precise for a range of computational tasks of interest. We evaluate the library on a number of examples from numerical analysis and physical simulations. We found it to be a useful tool for gaining confidence in the correctness of the computation.

  • Details
  • Metrics
Type
conference paper
DOI
10.1145/2076021.2048094
Web of Science ID

WOS:000298294500021

Author(s)
Darulova, Eva  
•
Kuncak, Viktor  
Date Issued

2011

Published in
Acm Sigplan Notices
Volume

46

Start page

325

End page

344

Subjects

Algorithms

•

Languages

•

Verification

URL

URL

http://lara.epfl.ch/w/smartfloat
Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
LARA  
Event nameEvent placeEvent date
ACM Conf. on Object-Oriented Programming, Systems, Languages, and Applications

Portland, Oregon, USA

October 25-27

Available on Infoscience
September 30, 2011
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/71406
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés