Flow-sensitive type qualifiers (2002)

by Jeffrey S Foster, Tachio Terauchi, Alex Aiken
Venue:In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI