Refinement-based context-sensitive points-to analysis for Java

Manu Sridharan, Rastislav Bodík. Refinement-based context-sensitive points-to analysis for Java. In Michael I. Schwartzbach, Thomas Ball, editors, Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006. pages 387-400, ACM, 2006. [doi]

Abstract

Abstract is missing.