Chunxiao Lin, Yiyun Chen, Bei Hua. Verification of an Incremental Garbage Collector in Hoare-Style Logic. Int. J. Software and Informatics, 3(1):67-88, 2009. [doi]
@article{LinCH09-2,
title = {Verification of an Incremental Garbage Collector in Hoare-Style Logic},
author = {Chunxiao Lin and Yiyun Chen and Bei Hua},
year = {2009},
url = {http://www.ijsi.org/IJSI/ch/reader/view_abstract.aspx?file_no=67&flag=1},
tags = {logic, incremental},
researchr = {https://researchr.org/publication/LinCH09-2},
cites = {0},
citedby = {0},
journal = {Int. J. Software and Informatics},
volume = {3},
number = {1},
pages = {67-88},
}