Flow-sensitive type qualifiers (2002)

by Jerey S Foster, Tachio Terauchi, Alex Aiken
Venue:In Proceedings of the ACM Conference on Programming Language Design and Implementation