Precise shape analysis using field sensitivity

Sandeep Dasgupta, Amey Karkare. Precise shape analysis using field sensitivity. In Sascha Ossowski, Paola Lecca, editors, Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012. pages 1300-1307, ACM, 2012. [doi]

Abstract

Abstract is missing.