Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code.

Jorge A. Navas, Peter Schachte, Harald Sndergaard, Peter J. Stuckey

Browse the full APLAS paper archive.