Automatic numeric abstractions for heap-manipulating programs. (2010)

by Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay
Venue:In POPL,