Parameterized object sensitivity for points-to and side-effect analyses for Java

Ana Milanova, Atanas Rountev, Barbara G. Ryder. Parameterized object sensitivity for points-to and side-effect analyses for Java. In ISSTA. pages 1-11, 2002. [doi]

Abstract

Abstract is missing.