Login / Signup

An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs.

Laura TitoloMarco A. FeliúMariano M. MoscatoCésar A. Muñoz
Published in: VMCAI (2018)
Keyphrases
  • error analysis
  • floating point
  • abstract interpretation
  • termination analysis
  • least squares
  • static analysis
  • fixed point
  • active rules