Contribution-Based Call Stack Abstraction and Its Application in Pointer Analysis of AspectJ Programs | IEEE Conference Publication | IEEE Xplore