1 paper
Prasanna Kumar. K, Amitabha Sanyal, Amey Karkare
We consider the problem of reducing the memory required to run lazy first-order functional programs. Our approach is to analyze programs for liveness of heap-allocated data. The re…