Pushdown control-flow analysis for free.

Thomas Gilray, Steven Lyde, Michael D. Adams, Matthew Might, David Van Horn

Browse the full POPL paper archive.