Automatic Numeric Abstractions for Heap-Manipulating Programs Download Tags: HCSS 2009 Carnegie Mellon University Presentation Academia HCSS '09 License: CC-2.5 Submitted by Timothy Thimmesch on Thu, 06/30/2011 - 09:34