@article{1314919, author = {Liu, Hai and Hudak, Paul}, title = {Plugging a Space Leak with an Arrow}, journal = {Electron. Notes Theor. Comput. Sci.}, volume = {193}, year = {2007}, issn = {1571-0661}, pages = {29--45}, doi = {http://dx.doi.org/10.1016/j.entcs.2007.10.006}, publisher = {Elsevier Science Publishers B. V.}, address = {Amsterdam, The Netherlands, The Netherlands}, }