Sciweavers

52
Voted
POPL
2010
ACM
15 years 6 months ago
Automatic Numeric Abstractions for Heap-Manipulating Programs
Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Ku...