Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis.

Thomas Gilray, Michael D. Adams, Matthew Might

Browse the full ICFP paper archive.