Matthew Might, Olin Shivers. Improving flow analyses via GammaCFA: abstract garbage collection and counting. In John H. Reppy, Julia L. Lawall, editors, Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006. pages 13-25, ACM, 2006. [doi]
Abstract is missing.