O#-line variable substitutionfor scaling points-to analysis (2000)

by A Rountev, S Chandra
Venue:In Conference on Programming Language Design and Implementation