Conference Proceedings

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

JA Navas, P Schachte, H Sondergaard, PJ Stuckey, R Jhala, A Igarashi

APLAS 2012: Proceedings of the 10th Asian Symposium on Programming Languages and Systems | Springer Berlin Heidelberg | Published : 2012