Sciweavers

SAS
2007
Springer
112views Formal Methods» more  SAS 2007»
13 years 11 months ago
Taming the Wrapping of Integer Arithmetic
Variables in programs are usually confined to a fixed number of bits and results that require more bits are truncated. Due to the use of 32-bit and 64-bit variables, inadvertent ...
Axel Simon, Andy King