Pushdown flow analysis of first-class control.

Dimitrios Vardoulakis, Olin Shivers

Browse the full ICFP paper archive.