Chapter 4. Arithmetic Bounds

Checking Bounds of Integers

Propagating Bounds through Add's and Subtract's

Propagating Bounds through Logical Operations