ESP: path-sensitive program verification in polynomial time. (2002)

by M Das, S Lerner, M Seigle
Venue:In Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation,