Automatic Space Bound Analysis for Functional Programs with Garbage Collection.

Yue Niu, Jan Hoffmann

Browse the full LPAR paper archive.