@inproceedings{512531,
 author = {Jeffrey S. Foster and Tachio Terauchi and Alex Aiken},
 title = {Flow-sensitive type qualifiers},
 booktitle = {Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation},
 year = {2002},
 isbn = {1-58113-463-0},
 pages = {1--12},
 location = {Berlin, Germany},
 doi = {http://doi.acm.org/10.1145/512529.512531},
 publisher = {ACM Press},
 }