An Emacs-Cairo Scrolling Bug due to Floating-Point Inaccuracy.

Vincent Lefèvre

Published in: ARITH (2024)

Keyphrases

floating point
user interaction
source code
square root
fixed point
user behavior
software systems
instruction set
sparse matrices
bug reports
software projects
interval arithmetic
probabilistic model
sufficient conditions
fast fourier transform