Manu Sridharan, Rastislav Bodík
Refinement-based context-sensitive points-to analysis for Java
PLDI, 2006.
@inproceedings{PLDI-2006-SridharanB, author = "Manu Sridharan and Rastislav Bodík", booktitle = "{Proceedings of the 27th Conference on Programming Language Design and Implementation}", doi = "10.1145/1133981.1134027", editor = "Michael I. Schwartzbach and Thomas Ball", isbn = "1-59593-320-4", pages = "387--400", publisher = "{ACM}", title = "{Refinement-based context-sensitive points-to analysis for Java}", year = 2006, }