Jeffrey S. Foster Robert Johnson John Kodumal Alex Aiken Flow-insensitive type qualifiers. 1035-1087 2006 28 ACM Trans. Program. Lang. Syst. 6 http://doi.acm.org/10.1145/1186635 db/journals/toplas/toplas28.html#FosterJKA06