Static prediction of heap space usage for first-order functional programs.

Martin Hofmann, Steffen Jost

Browse the full POPL paper archive.