© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Taming the Wrapping of Integer Arithmetic
Axel Simon and Andy King
In Gilberto File and Hanne Riis Nielson, editors, Fourteenth International Static Analysis Symposium, Lecture Notes in Computer Science, pages 182-196. Springer, August 2007 To Appear, see http://www.springer.de/comp/lncs/index/html. Download publication 374 kbytes (PDF)Bibtex Record
@inproceedings{2528,
author = {Axel Simon and Andy King},
title = {{T}aming the {W}rapping of {I}nteger {A}rithmetic},
month = {August},
year = {2007},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {To Appear, see http://www.springer.de/comp/lncs/index/html},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2007/2528},
publication_type = {inproceedings},
submission_id = {24223_1178891124},
booktitle = {Fourteenth International Static Analysis Symposium},
editor = {Gilberto File and Hanne Riis Nielson},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
refereed = {yes},
}