Static insertion of safe and effective memory reuse commands into ML-like programs.

Oukseh Lee Hongseok Yang Kwangkeun Yi Static insertion of safe and effective memory reuse commands into ML-like programs. 141-178 2005 58 Sci. Comput. Program. 1-2 http://dx.doi.org/10.1016/j.scico.2005.02.007 db/journals/scp/scp58.html#LeeYY05