Skip to content

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

Manu Sridharan, Rastislav Bodk

VenueA*PLDI
Year2006
ProceedingsPLDI

Browse the full PLDI paper archive.