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
- Krzysztof Jakubczyk: Sweeping in Abstract Interpretation. 25-36
- Vivien Maisonneuve: Convex Invariant Refinement by Control Node Splitting: a Heuristic Approach. 49-59
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team