On-the-fly garbage collection: New algorithms inspired by program proofs
Keyword(s):
2017 ◽
Vol 2017
◽
pp. 1-13
◽
Keyword(s):