Scalable context-sensitive analysis using instantiation constraints (2000)

by M Fahndrich, J Rehof, M Das
Venue:In Proceedings of the ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation