Flow-sensitive type quali (2002)

by J Foster, T Terauchi, A Aiken
Venue:In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation PLDI