Login / Signup

Floating-Point TVPI Abstract Domain.

Joao RiveraFranz FranchettiMarkus Püschel
Published in: Proc. ACM Program. Lang. (2024)
Keyphrases
  • floating point
  • fixed point
  • square root
  • floating point arithmetic
  • three dimensional
  • dynamic programming