@article {14282,
	title = {Flow-insensitive type qualifiers},
	journal = {ACM Transactions on Programming Languages and Systems (TOPLAS)},
	volume = {28},
	year = {2006},
	month = {2006///},
	pages = {1035 - 1087},
	author = {Foster, Jeffrey S. and Johnson,R. and Kodumal,J. and Aiken,A.}
}
