Safe Numerics
Tutorial and Motivating Examples
Arithmetic Operations Can Yield Incorrect Results.
Undetected Overflow
Implicit Conversions Change Data Values
Array Index Value Can Exceed Array Limits
Checking of Input Values Can Be Easily Overlooked
Programming by Contract is Too Slow
Eliminate Runtime Cost