Improving flow analyses via GammaCFA: abstract garbage collection and counting.

Matthew Might, Olin Shivers

Browse the full ICFP paper archive.