@article {14312,
	title = {Flow-sensitive type qualifiers},
	journal = {ACM SIGPLAN Notices},
	volume = {37},
	year = {2002},
	month = {2002///},
	pages = {1 - 12},
	author = {Foster, Jeffrey S. and Terauchi,T. and Aiken,A.}
}
