Sign in

A dynamic program analysis to find floating-point accuracy problems.

Florian BenzAndreas HildebrandtSebastian Hack
Published in: PLDI (2012)
Keyphrases
  • floating point
  • fixed point
  • data structure
  • higher order
  • np complete
  • sparse matrices
  • floating point arithmetic