TY - RPRT TI - Improving bit-vector representation of points-to sets using class hierarchy AU - Hamid A. Toussi AU - Ahmed Khademzadeh PY - 2011 UR - https://arxiv.org/abs/1108.2683 ID - 1108.2683 ER -