© University of Kent - Contact | Feedback | Legal
The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000
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. 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 = {},
keywords = {abstract interpretation, polyhedral analysis, finite integer arithmetic},
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},
}