Jeffrey S. Foster Tachio Terauchi Alexander Aiken Flow-Sensitive Type Qualifiers. 1-12 2002 PLDI http://doi.acm.org/10.1145/512529.512531 db/conf/pldi/pldi2002.html#FosterTA02