A mechanically verified incremental garbage collector

Authors
David M.Russinoff
Citation
David M.russinoff, A mechanically verified incremental garbage collector, Formal aspects of computing The international journal of formal methods , 6(4), 1994, pp. 359-390
Journal title
Formal aspects of computing The international journal of formal methods → ACNP
ISSN journal
09345043
Volume
6
Issue
4
Year of publication
1994
Pages
359 - 390
Database
ACNP
SICI code