Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey. Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code. In Ranjit Jhala, Atsushi Igarashi, editors, Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings. Volume 7705 of Lecture Notes in Computer Science, pages 115-130, Springer, 2012. [doi]
Abstract is missing.