Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay
Automatic numeric abstractions for heap-manipulating programs
POPL, 2010.
@inproceedings{POPL-2010-MagillTLT, author = "Stephen Magill and Ming-Hsien Tsai and Peter Lee and Yih-Kuen Tsay", booktitle = "{Proceedings of the 37th Symposium on Principles of Programming Languages}", doi = "10.1145/1706299.1706326", editor = "Manuel V. Hermenegildo and Jens Palsberg", isbn = "978-1-60558-479-9", pages = "211--222", publisher = "{ACM}", title = "{Automatic numeric abstractions for heap-manipulating programs}", year = 2010, }