EasyChair Smart Slide
Polishing a Rough Diamond: an Enhanced Separation Logic for Heap Space Under Garbage Collection
Polishing a Rough Diamond: an Enhanced Separation Logic for Heap Space Under Garbage Collection