J. Gregory Morrisett. Analysis issues for cyclone. In Matthew B. Dwyer, Jens Palsberg, editors, Proceedings of the 2002 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE 02, Charleston, South Carolina, USA, November 18-19, 2002. pages 26, ACM, 2002. [doi]
Abstract is missing.