@article{LeYaYiSCP,
   author = {Oukseh Lee and Hongseok Yang and Kwangkeun Yi},
   title = {Static Insertion of Safe and Effective Memory Reuse Commands into ML-like Programs},
   journal = {Science of Computer Programming},
   volume = {58},
   number = {1-2},
   pages = {141-178},
   year = {2005},
   category = {heap-analysis journal},
   format = {pdf},
}