Languages

Verification of an Incremental Garbage Collector in Hoare-Style Logic

TitleVerification of an Incremental Garbage Collector in Hoare-Style Logic
Publication TypeJournal Article
Year of Publication2009
AuthorsLin C, Chen Y, Hua B
JournalInternational Journal of Software and Informatics
Volume3
Start Page67
Issue1
Pagination67-88
Date PublishedMar, 2009
ISSN1673-7288
Keywordsincremental gargabge collector, program verification, proof-carrying code, separation logic