Sciweavers

POPL
2010
ACM

Automatic Numeric Abstractions for Heap-Manipulating Programs

14 years 9 months ago
Automatic Numeric Abstractions for Heap-Manipulating Programs
Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Ku
Added 01 Mar 2010
Updated 02 Mar 2010
Type Conference
Year 2010
Where POPL
Authors Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay
Comments (0)