@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.} }