Prioritizing constraint evaluation for efficient points-to analysis | IEEE Conference Publication | IEEE Xplore