Matthew Might Olin Shivers Improving flow analyses via GammaCFA: abstract garbage collection and counting. 13-25 2006 conf/icfp/2006 ICFP http://doi.acm.org/10.1145/1159803.1159807 db/conf/icfp/icfp2006.html#MightS06