Sound reasoning about integral data types with a reusable SMT solver interface.

Rgis Blanc, Viktor Kuncak

Browse the full PLDI paper archive.