Automatic numeric abstractions for heap-manipulating programs.

Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay

Browse the full POPL paper archive.