Simon, Axel and King, Andy (2007) Taming the Wrapping of Integer Arithmetic. In: File, Gilberto and Nielson, Hanne Riis, eds. Fourteenth International Static Analysis Symposium. Lecture Notes in Computer Science, 4634. Springer pp. 121-126. ISBN 978-3-540-74060-5 .
|
Download (374Kb)
|
![[img]](http://kar.kent.ac.uk/style/images/fileicons/application_pdf.png)
|
|
| Item Type: | Conference or workshop item (Paper) |
|---|---|
| Additional information: | To Appear, see http://www.springer.de/comp/lncs/index/html |
| Uncontrolled keywords: | abstract interpretation, polyhedral analysis, finite integer arithmetic |
| Subjects: | Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, |
| Divisions: | Faculties > Science Technology and Medical Studies > School of Computing > Theoretical Computing Group |
| Depositing User: | Mark Wheadon |
| Date Deposited: | 24 Nov 2008 18:04 |
| Last Modified: | 06 Sep 2011 01:36 |
| Resource URI: | http://kar.kent.ac.uk/id/eprint/14550 (The current URI for this page, for reference purposes) |
- Depositors only (login required):
