2007-04-03から1日間の記事一覧
A. Karkare, U. Khedker, A. Sanyal, "Liveness of Heap Data for Functional Programs," to appear in proceedings of Heap Analysis and Verification workshop (HAV 2007). 理想的なゴミ集めの本来の目的は将来、利用される可能性のないデータ領域を回収…
A. Karkare, U. Khedker, A. Sanyal, "Liveness of Heap Data for Functional Programs," to appear in proceedings of Heap Analysis and Verification workshop (HAV 2007). 理想的なゴミ集めの本来の目的は将来、利用される可能性のないデータ領域を回収…