Electronic Notes in Theoretical Computer Science, Volume 288
Volume 288, December 2012
- Stefan Bygde, Björn Lisper, Niklas Holsti:
Fully Bounded Polyhedral Analysis of Integers with Wrapping. 3-13 - Manuel Fähndrich, Francesco Logozzo:
Checking Compatibility of Bit Sizes in Floating Point Comparison Operations. 15-23 - Vivien Maisonneuve:
Convex Invariant Refinement by Control Node Splitting: a Heuristic Approach. 49-59